diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-03 18:11:26 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-03 18:11:26 +0200 |
commit | 3a6e2cdcf50d40d2eee12c3dc36e8890bd9712a8 (patch) | |
tree | 4745ad6278445ee8e61062638ef6952c182e9ddf /install | |
parent | 1393f5f75b4afb50986a6d79fc2657be965ae1d7 (diff) |
Modified/renamed scripts.
Diffstat (limited to 'install')
-rwxr-xr-x | install | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -40,6 +40,7 @@ echo [ -f $HOME/.opentox/config/install/config.sh ] || (cmd="mkdir -p $HOME/.opentox/config/install && cp config.sh $HOME/.opentox/config/install" && run_cmd "$cmd" "Install config.sh to CONFIG (~/.opentox)") . ./base-install # Debian specific; disable this for others. +./raptor_rasqal.sh ./4store-install # Download, compile and build 4store. Install to OT_PREFIX. if [ ! -d ~/.rbenv ]; then |