From c2b7b15526f0c8b87b9442567ddfa0e133cfebcf Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Wed, 13 Dec 2017 13:26:59 +0100
Subject: Circle CI: enable native compiler.

---
 .circleci/config.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 42df67e71..fecabd7bc 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -13,6 +13,7 @@ defaults:
     NJOBS: 2
     COMPILER: "system"
     CAMLP5_VER: "6.14"
+    NATIVE_COMP: "yes"
 
     # some useful values
     COMPILER_32BIT: &compiler-32bit "4.02.3+32bit"
@@ -70,7 +71,7 @@ before_script: &before_script
           source ~/.profile
 
           echo 'start:coq.config'
-          ./configure -local -native-compiler no ${EXTRA_CONF}
+          ./configure -local -native-compiler ${NATIVE_COMP} ${EXTRA_CONF}
           echo 'end:coq.config'
     - run: &build-build
         name: Build
@@ -151,7 +152,7 @@ before_script: &before_script
         name: Configure
         command: |
           source ~/.profile
-          ./configure -local ${EXTRA_CONF}
+          ./configure -local -native-compiler ${NATIVE_COMP} ${EXTRA_CONF}
 
     - run:
         name: Build
@@ -160,7 +161,7 @@ before_script: &before_script
           make -j ${NJOBS} coqocaml
   environment: &warnings-variables
     <<: *envvars
-    EXTRA_CONF: "-native-compiler yes -coqide byte -byte-only"
+    EXTRA_CONF: "-coqide byte -byte-only"
     EXTRA_PACKAGES: *coqide-packages
     EXTRA_OPAM: *coqide-opam
 
-- 
cgit v1.2.3