feat: setup build environment

kupl · Nov 9, 2023 · e75445a · e75445a
1 parent 7e5ede5
commit e75445a
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/C/flint-1/Dockerfile b/C/flint-1/Dockerfile
@@ -4,13 +4,20 @@ RUN export DEBIAN_FRONTEND=noninteractive \
     && apt-get update \
     && apt-get install -y --no-install-recommends \
         autoconf \
+        automake \
         build-essential \
+        jq \
         libgmp-dev \
         libmpfr-dev \
         libtool \
     && apt-get clean \
     && rm -rf /var/lib/apt/lists/*
 
 RUN mkdir -p /workspace
-WORKDIR /workspace
 COPY . /workspace
+
+WORKDIR /workspace
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && cd $BUGGY_PATH \
+    && ./bootstrap.sh \
+    && ./configure