Option de configuration pour utiliser docker ou etre statique

test~coding~readingCppPrograms.fr/src/cpp/read_program.cpp

@@ -43,6 +43,7 @@ target=variable io if loop function vector1D vector2D
 \email{Nicolas.Thiery@u-psud.fr}
 \format{html}
 
+\integer{static=1}
 \text{module_data=modules/devel/nthiery/test~coding~readingCppPrograms.fr/data/}
 \text{programs=wims(lookup TARGET in data/index)}
 \text{program=randomitem(\programs)}
@@ -55,7 +56,11 @@ target=variable io if loop function vector1D vector2D
 \text{answer=wims(lines2words wims(record 0 of data/\program.answer))}
 }{
 \text{answerstyle=symtext}
-\text{answer=wims(lines2words wims(exec docker-compile-and-run \module_data/\program))}
+\if{static == 1}{
+    \text{answer=wims(lines2words wims(record 0 of data/\program.answer))}
+}{
+    \text{answer=wims(lines2words wims(exec docker-compile-and-run \module_data/\program))}
+}
 }
 
 \css{