Commit ea4c9df5 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Improve configure messages about disabled parts.

parent aac5cb8c
......@@ -73,7 +73,8 @@ AC_ARG_ENABLE(native-code,
AC_ARG_ENABLE(zarith,
[ --enable-zarith use extra arbitrary-precision lib Zarith],,
enable_zarith=no)
[enable_zarith=no
reason_zarith=" (disabled by default)"])
# IDE
......@@ -130,7 +131,8 @@ AC_ARG_ENABLE(html-doc,
AC_ARG_ENABLE(frama-c,
[ --enable-frama-c enable Frama-C plugin],,
enable_frama_c=no)
[enable_frama_c=no
reason_frama_c=" (disabled by default)"])
# profiling
......
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