diff options
| -rwxr-xr-x | clean/bin/install_clean | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index ba72b15..dc80e6d 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -7,7 +7,7 @@ else rm -rf "$CLEAN_HOME" fi mkdir -p "$CLEAN_HOME" -for pkg in base lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test +for pkg in base lib-argenv lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test do curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-$pkg-linux-x64-latest.tgz\ | tar xz --strip-components=1 -C "$CLEAN_HOME" @@ -49,9 +49,10 @@ link_local_file bin/cleandoc ~/VersionControl/clean-doc/src/cleandoc link_local_file bin/cleanprof2callgrind ~/VersionControl/cleanprof2callgrind/cleanprof2callgrind # ABC interpreter binaries -link_local_file lib/exe/optimise ~/VersionControl/abc-interpreter/src/optimise +link_local_file lib/exe/abcopt ~/VersionControl/abc-interpreter/src/abcopt link_local_file lib/exe/bcgen ~/VersionControl/abc-interpreter/src/bcgen -link_local_file lib/exe/bclink ~/VersionControl/abc-interpreter/src/link +link_local_file lib/exe/bclink ~/VersionControl/abc-interpreter/src/bclink +link_local_file lib/exe/bcstrip ~/VersionControl/abc-interpreter/src/bcstrip # completion for f in ~/VersionControl/clean-completion/*; do |