documentation: configuration switch for an odoc documentation mode (#9997)

1 files changed, 39 insertions, 0 deletions

diff --git a/configure b/configure
index dd6ff58973..d5b556063a 100755
--- a/configure
+++ b/configure
@@ -776,6 +776,8 @@ AS
 endianness
 ASPP
 ocamltest
+documentation_tool_cmd
+documentation_tool
 ocamldoc
 with_camltex
 with_debugger
@@ -886,6 +888,7 @@ enable_str_lib
 enable_unix_lib
 enable_bigarray_lib
 enable_ocamldoc
+with_odoc
 enable_ocamltest
 enable_frame_pointers
 enable_naked_pointers
@@ -1592,6 +1595,7 @@ Optional Features:
 Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
+  --with-odoc             build documentation with odoc
   --with-target-bindir    location of binary programs on target system
   --with-afl              use the AFL fuzzer
   --with-pic[=PKGS]       try to use only PIC/non-PIC objects [default=use
@@ -1602,6 +1606,7 @@ Optional Packages:
   --with-gnu-ld           assume the C compiler uses GNU ld [default=no]
   --with-sysroot[=DIR]    Search for dependent libraries within DIR (or the
                           compiler's sysroot if not specified).
+  --with-odoc
 
 Some influential environment variables:
   AS          which assembler to use
@@ -2924,6 +2929,8 @@ VERSION=4.13.0+dev0-2020-10-19
 
 
 
+
+
 ## Generated files
 
 ac_config_files="$ac_config_files Makefile.build_config"
@@ -3157,6 +3164,14 @@ else
 fi
 
 
+
+# Check whether --with-odoc was given.
+if test "${with_odoc+set}" = set; then :
+  withval=$with_odoc;
+fi
+
+
+
 # Check whether --enable-ocamltest was given.
 if test "${enable_ocamltest+set}" = set; then :
   enableval=$enable_ocamltest;
@@ -17045,6 +17060,30 @@ else
   ocamldoc=ocamldoc
 fi
 
+documentation_tool_cmd=''
+
+# Check whether --with-odoc was given.
+if test "${with_odoc+set}" = set; then :
+  withval=$with_odoc; case $withval in #(
+  yes) :
+    documentation_tool='odoc' ;; #(
+  no) :
+    documentation_tool='ocamldoc' ;; #(
+  *) :
+    documentation_tool_cmd="$withval"
+    documentation_tool='odoc' ;;
+esac
+else
+  documentation_tool='ocamldoc'
+fi
+
+if test "x$documentation_tool_cmd" = 'x'
+ documentation_tool_cmd="$documentation_tool"; then :
+
+fi
+
+
+
 case $enable_ocamltest,4.13.0+dev0-2020-10-19 in #(
   yes,*|,*+dev*) :
     ocamltest='ocamltest' ;; #(