From 0913fa37e73cb42c295f750a1e6a1feaefdde1f7 Mon Sep 17 00:00:00 2001
From: Yohan Chatelain <yohan.chatelain@gmail.com>
Date: Wed, 17 Apr 2024 19:55:04 -0400
Subject: [PATCH] test

---
 Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index a48c38c2..06643b95 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -42,12 +42,18 @@ ENV CXX=g++-${GCC_VERSION}
 COPY . /build/verificarlo/
 WORKDIR /build/verificarlo
 
+RUN echo ./autogen.sh && \
+    ./configure \
+    --with-llvm=$(llvm-config-${LLVM_VERSION} --prefix) \
+    $( [[ "$WITH_FLANG" = "flang" ]] && echo "--with-flang" || echo "--without-flang" )
+
 RUN { ./autogen.sh && \
     ./configure \
     --with-llvm=$(llvm-config-${LLVM_VERSION} --prefix) \
     $( [[ "$WITH_FLANG" = "flang" ]] && echo "--with-flang" || echo "--without-flang" ) ; } \
     || { cat config.log; exit 1; }
 
+
 # Build verificarlo
 RUN make && make install