diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/Makefile.template | 1 | ||||
-rw-r--r-- | config/coq_config.mli | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index e0e7bf0b0..3fd726923 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -96,6 +96,7 @@ BEST=BESTCOMPILER # Your architecture # Can be obtain by UNIX command arch ARCH=ARCHITECTURE +HASNATDYNLINK=HASNATIVEDYNLINK # Your C compiler and co CC="CCEXEC" diff --git a/config/coq_config.mli b/config/coq_config.mli index 46404215f..e5a32708d 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -44,3 +44,5 @@ val with_geoproof : bool ref (* to (de)activate functions specific to Geoproof w val browser : string (** default web browser to use, may be overriden by environment variable COQREMOTEBROWSER *) + +val has_natdynlink : bool |