Use ENV to store flang option

interflop · Apr 17, 2024 · 3e2a88c · 3e2a88c
1 parent 0913fa3
commit 3e2a88c
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -42,15 +42,12 @@ 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" )
+ENV FLANG_OPTION $( [[ "$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" ) ; } \
+    ${FLANG_OPTION} ; } \
     || { cat config.log; exit 1; }