File diff 000000000000 → 72890999e24d
install_monetdb.sh
Show inline comments
 
new file 100755
 
#!/bin/bash
 

	
 
################################################################################
 
#                                                                              #
 
# This script installs the specified MonetDB release.                          #
 
# Provide the script with the release name, version number and directory       #
 
# where the database will be installed.                                        #
 
#                                                                              #
 
# Run as (for example):                                                        #
 
# ./install_monetdb.sh Dec2016-SP5 11.25.23 /scratch/myname/databases          #
 
#                                                                              #
 
################################################################################
 

	
 
rname=$1
 
mname=${rname}
 
mversion=$2
 
mdbname=MonetDB-${mname}
 
mdbversion=MonetDB-${mversion}
 
dbdir=$3
 

	
 
mkdir -p $dbdir
 
cd $dbdir
 
rm -Rf $mdbname
 
# Used for releases:
 
wget http://www.monetdb.org/downloads/sources/${mname}/${mdbversion}.tar.bz2
 
# Used for test-releases:
 
#wget http://dev.monetdb.org/downloads/testing/sources/${rname}/${mdbversion}.tar.bz2
 
tar -xvjf ${mdbversion}.tar.bz2
 

	
 
mkdir -p $dbdir/$mdbname/build
 
cd $dbdir/$mdbname/build
 
# On Ubuntu this has to run with --disable-strict --disable-geom, others may use --enable-strict
 
# To copy the ubuntu environment we use these settings (although the latter are for Fedora)
 
#../$mdbversion/configure --prefix=$dbdir/$mdbname --disable-optimize --enable-debug --enable-assert --disable-strict --disable-geom 2>&1 | tee configure.output.log
 
../../$mdbversion/configure --prefix=$dbdir/$mdbname --enable-optimize --disable-debug --disable-assert --disable-strict --disable-geom --enable-fits 2>&1 | tee configure.output.log
 
make 2>&1 | tee make.output.log
 
make install
 

	
 
echo 
 
echo "Don't forget to set the PATHs in your ~/.bashrc"
 
echo "READY"