Verified Commit 3233be2c authored by Camil Staps's avatar Camil Staps 🚀

Add documented StdEnv

parent 44d9ac08
Subproject commit 9b1123c1aa1c7a1643c71890cfc92eaebe374140
Subproject commit 69f66994e8cbddf9f192dc75304bff395d94832c
......@@ -25,6 +25,8 @@ RUN install_clean.sh bundle-complete 2017-10-31 \
&& git clone https://github.com/camilstaps/CleanSnappy /opt/clean/lib/CleanSnappy \
&& curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz |\
tar -xz -C /opt/clean --strip-components=1\
&& rm -r /opt/clean/lib/StdEnv\
&& git clone https://github.com/clean-cloogle/StdEnv-doc /opt/clean/lib/StdEnv\
&& make types.json\
&& rm -rf \
Cloogle \
......
......@@ -28,7 +28,9 @@ RUN svn checkout https://svn.cs.ru.nl/repos/SoccerFun/src /opt/clean/lib/SoccerF
&& git clone https://github.com/clean-cloogle/CleanTypeUnifier /opt/clean/lib/CleanTypeUnifier \
&& git clone https://github.com/clean-cloogle/CleanPrettyPrint /opt/clean/lib/CleanPrettyPrint \
&& git clone https://github.com/camilstaps/CleanInotify /opt/clean/lib/CleanInotify \
&& git clone https://github.com/camilstaps/CleanSnappy /opt/clean/lib/CleanSnappy
&& git clone https://github.com/camilstaps/CleanSnappy /opt/clean/lib/CleanSnappy \
&& rm -r /opt/clean/lib/StdEnv \
&& git clone https://github.com/clean-cloogle/StdEnv-doc /opt/clean/lib/StdEnv
# Pygments, for highlighting
RUN apt-get update \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment