configure: new option --enable/disable-hypothesis-selection (which does not compile currently)

97f6c989 · Jean-Christophe Filliâtre · 18a0e0b0 · 97f6c989
Commit 97f6c989 authored Jul 05, 2010 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 9 additions and 2 deletions

configure.in configure.in +9 -2

No files found.
--- a/configure.in
+++ b/configure.in
@@ -83,6 +83,12 @@ AC_ARG_ENABLE(coq-support,
    [  --enable-coq-support    enable Coq support],,
    enable_coq_support=yes)

+# hypothesis selection
+
+AC_ARG_ENABLE(hypothesis-selection,
+    [  --enable-hypothesis-selection    enable hypothesis selection support],,
+    enable_hypothesis_selection=yes)
+
 # Check for arch/OS

 AC_MSG_CHECKING(executable suffix)
@@ -271,8 +277,9 @@ fi

 # hypothesis_selection

-AC_CHECK_FILE($OCAMLLIB/ocamlgraph/,enable_hypothesis_selection=yes,enable_hypothesis_selection=no)
-
+if test "$enable_hypothesis_selection" = yes; then
+  AC_CHECK_FILE($OCAMLLIB/ocamlgraph/,enable_hypothesis_selection=yes,enable_hypothesis_selection=no)
+fi

 #Viewer for ps and pdf
 dnl AC_CHECK_PROGS(PSVIEWER,gv evince)