From 7321065b6dc1a2bba4dbb39d0570da3c62b30cfb Mon Sep 17 00:00:00 2001
From: mdenes <mdenes@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 24 Feb 2013 11:56:32 +0000
Subject: New -no-native-compiler flag for configure, globally disabling the
 native compiler (implemented on Matthieu's request).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16240 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index f2861f12a..f16ffbe51 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -69,3 +69,4 @@ val wwwrefman : string
 val wwwstdlib : string
 val localwwwrefman : string
 
+val no_native_compiler : bool
-- 
cgit v1.2.3