tune gambit

felipenoris · Apr 13, 2017 · b8736be · b8736be
1 parent e167170
commit b8736be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -454,7 +454,7 @@ ENV LD_LIBRARY_PATH $LD_LIBRARY_PATH:/usr/lib64/R/lib:/usr/local/lib:/lib:/usr/l
 # Gambit-C
 RUN git clone https://github.com/gambit/gambit.git \
 	&& cd gambit \
-	&& ./configure \
+	&& ./configure --enable-single-host \
 	&& make -j"$(nproc --all)" latest-release \
 	&& ./configure --enable-single-host \
 	&& make -j"$(nproc --all)" from-scratch \