diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-07 18:10:26 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-07 18:10:26 +0200 |
commit | e077d91919e0443f435bda8903c235608453a795 (patch) | |
tree | 0692c38ad62399a035640cb409089f4eb1cdf0e5 /raptor2-install | |
parent | 85ebb85e82077a31f9aeac6bea79136001e6be10 (diff) |
Separated raptor2/rasqal and fixes.
Diffstat (limited to 'raptor2-install')
-rwxr-xr-x | raptor2-install | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/raptor2-install b/raptor2-install new file mode 100755 index 0000000..d4ad138 --- /dev/null +++ b/raptor2-install @@ -0,0 +1,34 @@ +#!/bin/sh +DIR=`pwd` + +# Boot +. ./utils.sh || (echo "Utils could not be loaded, check opentox-ui.sh." 1>&2 && exit 1) +SELF=$(basename $0 -install) +check_log $SELF +check_utils "wget tar make" + +# Build +mkdir -p $PREFIX/tmp +cd $OT_PREFIX/tmp/ +cmd="$WGET $RAPTOR2_DWL && run_cmd "$cmd" "Download $SELF" +export RAPTOR2_DIR=$OT_PREFIX/$SELF/ +cmd="$TAR xvzf "$SELF*.tar.gz" && run_cmd "$cmd" "Unpack $SELF" +rm "$SELF*.tar.gz" +cd "$SELF*" +cmd="./configure --prefix=$RAPTOR2_DIR" && run_cmd "$cmd" "Configure" +cmd="$MAKE" && run_cmd "$cmd" "Make" +cmd="$MAKE install" && run_cmd "$cmd" "Make Install" + +# Config +echo "if echo \"\$LD_LIBRARY_PATH\" | grep -v \"$RAPTOR2_DIR/lib\">/dev/null 2>&1; then export LD_LIBRARY_PATH=\"$RAPTOR2_DIR/lib:\$LD_LIBRARY_PATH\"; fi" >> "$RAPTOR2_CONF" +echo "if echo \"\$PKG_CONFIG_PATH\" | grep -v \"$RAPTOR2_DIR/lib/pkgconfig\">/dev/null 2>&1; then export PKG_CONFIG_PATH=\"$RAPTOR2_DIR/lib/pkgconfig:\$PKG_CONFIG_PATH\"; fi" >> "$RAPTOR2_CONF" +echo "$SELF configuration has been stored in '$RAPTOR2_CONF'." +if ! grep "$RAPTOR2_CONF" $OT_UI_CONF >/dev/null 2>&1; then + echo '. '$RAPTOR2_CONF >> $OT_UI_CONF +fi +cd .. +export LD_LIBRARY_PATH=$RAPTOR2_DIR"/lib:"$LD_LIBRARY_PATH +export PATH=$RAPTOR2_DIR"/bin:"$PATH +export PKG_CONFIG_PATH=$RAPTOR2_DIR"/lib/pkgconfig:"$PKG_CONFIG_PATH + +cd $DIR |