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 /raptor2-install | |
parent | 6652c42967f12ac361f597fdcac3c69bc2325eec (diff) |
Added RAPTOR2/RASQAL_NUM_VER to config.sh.
Diffstat (limited to 'raptor2-install')
-rwxr-xr-x | raptor2-install | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/raptor2-install b/raptor2-install index 11a5737..0590a3b 100755 --- a/raptor2-install +++ b/raptor2-install @@ -12,9 +12,9 @@ mkdir -p $OT_PREFIX/tmp cd $OT_PREFIX/tmp/ cmd="$WGET $RAPTOR2_DWL" && run_cmd "$cmd" "Download" export RAPTOR2_DIR=$OT_PREFIX/$SELF -cmd="$TAR xvzf $SELF-$RAPTOR2_VER.tar.gz" && run_cmd "$cmd" "Unpack" -rm $SELF-$RAPTOR2_VER.tar.gz -cd $SELF-$RAPTOR2_VER +cmd="$TAR xvzf $RAPTOR2_VER.tar.gz" && run_cmd "$cmd" "Unpack" +rm $RAPTOR2_VER.tar.gz +cd $RAPTOR2_VER cmd="./configure --prefix=$RAPTOR2_DIR" && run_cmd "$cmd" "Configure" cmd="$MAKE" && run_cmd "$cmd" "Make" cmd="$MAKE install" && run_cmd "$cmd" "Make Install" |