configure: add "rocq" synonyms for "coq" options

Author: xavierleroy

configure

@@ -89,16 +89,16 @@ Options:
   -libdir <dir>        Install libraries in <dir>
   -sharedir <dir>      Install configuration file in <dir>
   -mandir <dir>        Install man pages in <dir>
-  -coqdevdir <dir>     Install Coq development (.vo files) in <dir>
+  -rocqdevdir <dir>    Install Rocq/Coq development (.vo files) in <dir>
   -toolprefix <pref>   Prefix names of tools ("gcc", etc) with <pref>
   -use-external-Flocq  Use an already-installed Flocq library
   -use-external-MenhirLib  Use an already-installed MenhirLib library
   -no-runtime-lib      Do not compile nor install the runtime support library
   -no-standard-headers Do not install nor use the standard .h headers
   -clightgen           Also compile and install the clightgen tool
-  -install-coqdev      Also install the Coq development (implied by -clightgen)
+  -install-rocqdev     Also install the Rocq/Coq development (implied by -clightgen)
   -ignore-coq-version  Accept to use experimental or unsupported versions of Coq
-  -ignore-rocq-version  Accept to use experimental or unsupported versions of Rocq
+  -ignore-rocq-version Accept to use experimental or unsupported versions of Rocq
   -ignore-ocaml-version Accept to use experimental or unsupported versions of OCaml
 '
 
@@ -124,7 +124,7 @@ while : ; do
         mandir="$2"; shift;;
     -sharedir|--sharedir)
         sharedir="$2"; shift;;
-    -coqdevdir|--coqdevdir)
+    -coqdevdir|--coqdevdir|-rocqdevdir|--rocqdevdir)
         coqdevdir="$2"; install_coqdev=true; shift;;
     -toolprefix|--toolprefix)
         toolprefix="$2"; shift;;
@@ -143,6 +143,8 @@ while : ; do
         ignore_ocaml_version=true;;
     -install-coqdev|--install-coqdev|-install-coq-dev|--install-coq-dev)
         install_coqdev=true;;
+    -install-rocqdev|--install-rocqdev|-install-rocq-dev|--install-rocq-dev)
+        install_coqdev=true;;
     -use-external-Flocq|--use-external-Flocq)
         library_Flocq=external;;
     -use-external-MenhirLib|--use-external-MenhirLib)
@@ -943,11 +945,11 @@ EOF
 
 if $install_coqdev; then
 cat <<EOF
-    Coq development installed in.. $(expandprefix "$coqdevdir")
+    Rocq/Coq development installed in.. $(expandprefix "$coqdevdir")
 EOF
 else
 cat <<EOF
-    Coq development will not be installed
+    Rocq/Coq development will not be installed
 EOF
 fi