diff options
| author | Andreas Maunz <andreas@maunz.de> | 2011-04-01 14:43:55 +0200 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2011-04-01 14:43:55 +0200 |
| commit | 674f6cd24b6ee37465c27b3643ea702ca5343bb0 (patch) | |
| tree | 494619e25c498e71061b5db981e8b377df7fed7e /opentox-webservices.sh | |
| parent | c13ecd56442d5d9f6aea71e86f2413bd5560531f (diff) | |
Inserting Correct headers
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" |