Commit 4471bead authored by Andrei Paskevich's avatar Andrei Paskevich

minor

parent da19e5c0
...@@ -84,6 +84,7 @@ ...@@ -84,6 +84,7 @@
/share/emacs/semantic.cache /share/emacs/semantic.cache
# /src/ # /src/
/src/config.sh
/src/config.ml /src/config.ml
/src/*.annot /src/*.annot
/src/*.cm[aiox] /src/*.cm[aiox]
......
...@@ -62,7 +62,7 @@ AC_ARG_ENABLE(verbose-make, ...@@ -62,7 +62,7 @@ AC_ARG_ENABLE(verbose-make,
# rust prover # rust prover
AC_ARG_ENABLE(rust-prover, AC_ARG_ENABLE(rust-prover,
[ --enable-rust-prover enable Why3 rust prover],, [ --enable-rust-prover enable Why3 rust prover],,
enable_rust_prover=yes) enable_rust_prover=yes)
# IDE # IDE
...@@ -92,7 +92,7 @@ AC_ARG_ENABLE(hypothesis-selection, ...@@ -92,7 +92,7 @@ AC_ARG_ENABLE(hypothesis-selection,
# profiling # profiling
ENABLE_PROFILING=yes ENABLE_PROFILING=yes
AC_ARG_ENABLE(profiling, AC_ARG_ENABLE(profiling,
[ --enable-profiling enable profiling],, [ --enable-profiling enable profiling],,
ENABLE_PROFILING=no) ENABLE_PROFILING=no)
# Check for arch/OS # Check for arch/OS
......
#!/bin/sh
F=src/config.ml F=src/config.ml
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment