From b8736be434444e62a90ec897b41b588dbf5eba19 Mon Sep 17 00:00:00 2001
From: Felipe Noronha <felipenoris@gmail.com>
Date: Wed, 12 Apr 2017 21:35:36 -0300
Subject: [PATCH] tune gambit

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index d9ab0f5..69d6362 100644
--- 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 \