diff options
Diffstat (limited to 'opentox-webservices.sh')
-rwxr-xr-x | opentox-webservices.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/opentox-webservices.sh b/opentox-webservices.sh index 5f9f635..f69cc04 100755 --- a/opentox-webservices.sh +++ b/opentox-webservices.sh @@ -63,6 +63,9 @@ done cmd="test -f $HOME/.opentox/config/production.yaml" && run_cmd "$cmd" "Config present" cd $WWW_DEST/opentox/algorithm >>$LOG 2>&1 sudo updatedb >>$LOG 2>&1 +for mylib in bbrc last; do + sed -i "s/INCLUDE_OB.*/INCLUDE_OB\ =\ $OB_DEST/include/g" $WWW_DEST/algorithm/libfminer/lib$mylib/Makefile +done cmd="$RAKE fminer:install" && run_cmd "$cmd" "Make" cd "$DIR" |