Commit 9dcebc5d authored by Dominik Charousset's avatar Dominik Charousset

Add --no-riac option to configure script

parent b95c305b
......@@ -52,8 +52,7 @@ Usage: $0 [OPTION]... [VAR=VALUE]...
--no-nexus build without nexus
--no-shell build without shell
--no-benchmarks build without benchmarks
--no-probe build without probe
--no-probe-event build without probe-event
--no-riac build without riac
Debugging:
--with-runtime-checks build with requirement checks at runtime
......@@ -291,20 +290,17 @@ while [ $# -ne 0 ]; do
--with-erlc=*)
append_cache_entry CAF_ERLANG_COMPILER FILEPATH "$optarg"
;;
--no-nexus*)
--no-nexus)
append_cache_entry CAF_NO_NEXUS BOOL yes
;;
--no-shell*)
--no-shell)
append_cache_entry CAF_NO_SHELL BOOL yes
;;
--no-benchmarks*)
--no-benchmarks)
append_cache_entry CAF_NO_BENCHMARKS BOOL yes
;;
--no-probe*)
append_cache_entry CAF_NO_PROBE BOOL yes
;;
--no-probe-event*)
append_cache_entry CAF_NO_PROBE_EVENT BOOL yes
--no-riac)
append_cache_entry CAF_NO_RIAC BOOL yes
;;
*)
echo "Invalid option '$1'. Try $0 --help to see available options."
......
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