From 102282caedcce596e5c26bf6e7be0b977b054426 Mon Sep 17 00:00:00 2001 From: "ThanhVu (Vu) Nguyen" Date: Tue, 28 Feb 2023 21:41:18 -0500 Subject: [PATCH] removing CIL/OCAML from Dockerfile --- Dockerfile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 1e20ecbf..7e30660f 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,7 +2,9 @@ FROM debian:bullseye #install general setup tools RUN apt-get update -y -RUN apt-get install -y build-essential git software-properties-common emacs ocaml ocamlbuild ocaml-findlib wget openjdk-11-jdk unzip dune libppx-deriving-yojson-ocaml-dev libdune-ocaml-dev libzarith-ocaml-dev libyojson-ocaml-dev cppo +RUN apt-get install -y build-essential git software-properties-common emacs wget openjdk-11-jdk unzip + +# ocaml ocamlbuild ocaml-findlib dune libppx-deriving-yojson-ocaml-dev libdune-ocaml-dev libzarith-ocaml-dev libyojson-ocaml-dev cppo # Install miniconda & sympy & z3 RUN wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh