diff options
author | Camil Staps | 2017-10-09 23:43:20 +0200 |
---|---|---|
committer | Camil Staps | 2017-10-09 23:43:20 +0200 |
commit | e885f4ac5f923b372866631aae12ec4e763ca24b (patch) | |
tree | 863fe1464e46ee4a36bb181c4c037ac0ab79c012 | |
parent | Fix docker build (diff) |
Towards a working docker version...
-rw-r--r-- | Dockerfile | 21 | ||||
-rw-r--r-- | Makefile | 1 | ||||
-rw-r--r-- | iclean.icl | 2 | ||||
-rwxr-xr-x | make_abc.sh | 2 |
4 files changed, 9 insertions, 17 deletions
@@ -1,18 +1,16 @@ -FROM camilstaps/clean:itasks-latest +FROM camilstaps/clean:nightly -COPY make_abc.sh . -RUN ./make_abc.sh - -RUN touch /home/.iclean_history /home/.iclean_template +RUN install_clean.sh bundle-complete 2017-10-09 COPY . /usr/src/iclean WORKDIR /usr/src/iclean -RUN PACKAGES="libreadline-dev make gcc" \ + +RUN ./make_abc.sh \ + && touch /home/.iclean_history /home/.iclean_template\ + && PACKAGES="libreadline6 libreadline6-dev make gcc" \ && apt-get update -qq \ && apt-get install -qq $PACKAGES --no-install-recommends \ - && ln -s /opt/clean/lib/clean-platform/OS-Independent /opt/clean/lib/Platform \ && make -B \ -# Cleanup && rm -rf \ Clean\ System\ Files \ CleanReadLine \ @@ -20,12 +18,7 @@ RUN PACKAGES="libreadline-dev make gcc" \ Dockerfile \ *.h *.c *.o \ *.dcl *.icl \ - make_abc.sh \ - && apt-get remove --purge -qq $PACKAGES \ - && apt-get autoremove --purge -qq \ - && rm -rf /var/lib/apt/lists/* - -RUN apt-get update -qq && apt-get install -qq gcc + make_abc.sh ENTRYPOINT "./iclean" CMD [] @@ -6,7 +6,6 @@ CLMFLAGS=\ -I CleanReadLine\ -l -lreadline\ -l compile.o\ - -l -no-pie -no-opt-link\ -nr -nt all: iclean @@ -38,7 +38,7 @@ import ExtraString temp_path :== "/tmp/" temp_module :== "iclean" readline_history :== "/home/.iclean_history" -template :== map ((+++) "import ") ["StdEnv", "StdDynamic", "genLibTest"] +template :== map ((+++) "import ") ["StdEnv", "StdDynamic", "Gast.GenLibTest"] template_file :== "/home/.iclean_template" // END SETTINGS diff --git a/make_abc.sh b/make_abc.sh index 3d386d7..e82de6e 100755 --- a/make_abc.sh +++ b/make_abc.sh @@ -1,5 +1,5 @@ #!/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" +libs="ArgEnv Directory Dynamics Gast Generics MersenneTwister StdEnv TCPIP Platform Platform/Deprecated/StdLib" shopt -s globstar for lib in $libs do |