diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-13 10:33:12 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-13 10:33:12 +0200 |
commit | 207a44f71b726fa3c054216b7c9ae014e2236f62 (patch) | |
tree | f8db7a5b766862a97db04e265d173260ecd0979d /rasqal-install | |
parent | 6652c42967f12ac361f597fdcac3c69bc2325eec (diff) |
Added RAPTOR2/RASQAL_NUM_VER to config.sh.
Diffstat (limited to 'rasqal-install')
-rwxr-xr-x | rasqal-install | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rasqal-install b/rasqal-install index dcd9e35..42574bd 100755 --- a/rasqal-install +++ b/rasqal-install @@ -12,9 +12,9 @@ mkdir -p $OT_PREFIX/tmp cd $OT_PREFIX/tmp/ cmd="$WGET $RASQAL_DWL" && run_cmd "$cmd" "Download" export RASQAL_DIR=$OT_PREFIX/$SELF -cmd="$TAR xvzf $SELF-$RASQAL_VER.tar.gz" && run_cmd "$cmd" "Unpack" -rm $SELF-$RASQAL_VER.tar.gz -cd $SELF-$RASQAL_VER +cmd="$TAR xvzf $RASQAL_VER.tar.gz" && run_cmd "$cmd" "Unpack" +rm $RASQAL_VER.tar.gz +cd $RASQAL_VER cmd="./configure --prefix=$RASQAL_DIR" && run_cmd "$cmd" "Configure" cmd="$MAKE" && run_cmd "$cmd" "Make" cmd="$MAKE install" && run_cmd "$cmd" "Make Install" |