From e75445a6e15000988e9ba2cc89259874255c0091 Mon Sep 17 00:00:00 2001
From: Henry Lee <gbvrcx@gmail.com>
Date: Thu, 9 Nov 2023 14:34:42 +0900
Subject: [PATCH] feat: setup build environment

---
 C/flint-1/Dockerfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/C/flint-1/Dockerfile b/C/flint-1/Dockerfile
index 81a575899..ad6184ac9 100644
--- a/C/flint-1/Dockerfile
+++ b/C/flint-1/Dockerfile
@@ -4,7 +4,9 @@ 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 \
@@ -12,5 +14,10 @@ RUN export DEBIAN_FRONTEND=noninteractive \
     && 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
\ No newline at end of file