diff options
| -rw-r--r-- | Dockerfile | 3 | ||||
| -rwxr-xr-x | make_abc.sh | 15 |
2 files changed, 18 insertions, 0 deletions
@@ -2,6 +2,9 @@ FROM camilstaps/clean:itasks-latest RUN apt-get update -qq && apt-get install -qq libreadline-dev +COPY make_abc.sh . +RUN ./make_abc.sh + RUN touch /home/.iclean_history /home/.iclean_template RUN mkdir -p /usr/src/iclean diff --git a/make_abc.sh b/make_abc.sh new file mode 100755 index 0000000..3d386d7 --- /dev/null +++ b/make_abc.sh @@ -0,0 +1,15 @@ +#!/bin/bash +libs="ArgEnv Directory Dynamics Gast Generics MersenneTwister StdEnv StdLib TCPIP clean-platform/OS-Independent clean-platform/OS-Posix clean-platform/OS-Linux clean-platform/OS-Linux-64 clean-platform/OS-Independent/Deprecated/StdLib" +shopt -s globstar +for lib in $libs +do + dir="/opt/clean/lib/$lib/" + cd "$dir" + for mod in **/*.icl + do + if [[ "$mod" == "**/*.icl" ]]; then continue; fi + mod="${mod/.icl/}" + mod="${mod/\//.}" + clm $(echo "-I /opt/clean/lib/${libs// / -I \/opt\/clean\/lib\/}") -ABC "$mod" + done +done |