diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-12-23T12·36+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-12-23T12·44+0000 |
| commit | 73e9265f954528b6b2eccf98572e77126539a8df (patch) | |
| tree | 48a1e093761e86c5e605d074e8c4d5f1bb64f1b1 /third_party/immer/tools/docker/icfp17/Dockerfile | |
| parent | f7ea650142eb796eb3f2827c805cc0bc563e2183 (diff) | |
chore(3p/immer): Remove vendored copy of immer r/2029
We ended up dropping the use of this library again. Change-Id: I2c44cd22a6128d23f87a582402bf5fb84991d608 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2292 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'third_party/immer/tools/docker/icfp17/Dockerfile')
| -rw-r--r-- | third_party/immer/tools/docker/icfp17/Dockerfile | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/third_party/immer/tools/docker/icfp17/Dockerfile b/third_party/immer/tools/docker/icfp17/Dockerfile deleted file mode 100644 index 5e6d1292e592..000000000000 --- a/third_party/immer/tools/docker/icfp17/Dockerfile +++ /dev/null @@ -1,77 +0,0 @@ -FROM debian:stretch - -MAINTAINER arximboldi - -## install immer - -RUN apt-get update && \ - apt-get install -y git -RUN git clone https://github.com/arximboldi/immer.git - -## prepare test dependencies - -RUN apt-get update && \ - apt-get install -y \ - autoconf \ - automake \ - cmake \ - g++ \ - libboost-dev \ - libtool \ - make \ - pkg-config \ - -- - -RUN mkdir /immer/build -WORKDIR /immer/build -RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DCHECK_BENCHMARKS=1 -RUN make deps -RUN make tests examples benchmarks - -## prepare clojure dependencies - -RUN apt-get update && \ - apt-get install -y default-jdk curl - -RUN curl https://raw.githubusercontent.com/technomancy/leiningen/stable/bin/lein \ - > /usr/local/bin/lein && \ - chmod +x /usr/local/bin/lein - -WORKDIR /immer/tools/clojure -ENV LEIN_ROOT ok -RUN lein deps -RUN lein compile - -## prepare scala dependencies - -RUN apt-get update && \ - apt-get install -y gnupg2 apt-transport-https -RUN echo "deb https://dl.bintray.com/sbt/debian /" \ - > /etc/apt/sources.list.d/sbt.list && \ - apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 \ - --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 && \ - apt-get update && \ - apt-get install -y sbt - -WORKDIR /immer/tools/scala -RUN sbt compile - -## prepare python dependencies - -RUN apt-get update && \ - apt-get install -y python-pip - -RUN pip install \ - pytest-benchmark \ - pyrsistent - -RUN pip install /immer - -## add some editors - -RUN apt-get update && \ - apt-get install -y emacs vim nano - -## go to a useful working dir - -WORKDIR /immer |