configure: no more need for ocamlmktop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15747 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 3 insertions, 6 deletions

diff --git a/INSTALL b/INSTALL
index 02c9eb9b66..674d5e25d2 100644
--- a/INSTALL
+++ b/INSTALL
@@ -88,9 +88,9 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
 =================================================
 
 1- Check that you have the Objective Caml compiler version 3.11.2 (or later)
-   installed on your computer and that "ocamlmktop" and "ocamlc" (or
-   its native code version "ocamlc.opt") lie in a directory which is present
-   in your $PATH environment variable. 
+   installed on your computer and that "ocamlc" (or its native code version
+   "ocamlc.opt") lie in a directory which is present in your $PATH environment
+   variable.
 
    To get Coq in native-code, (it runs 4 to 10 times faster than
    bytecode, but it takes more time to get compiled and the binary is
diff --git a/configure b/configure
index 532d0f9bf7..0cf0e83ef4 100755
--- a/configure
+++ b/configure
@@ -105,7 +105,6 @@ ocamldepexec=ocamldep
 ocamldocexec=ocamldoc
 ocamllexexec=ocamllex
 ocamlyaccexec=ocamlyacc
-ocamlmktopexec=ocamlmktop
 camlp4oexec=camlp4o
 default_typerex_wrapper="ocp-wrapper -save-types"
 
@@ -413,7 +412,6 @@ case $camldir_spec in
 	 ocamldocexec=$CAMLBIN/ocamldoc
 	 ocamllexexec=$CAMLBIN/ocamllex
 	 ocamlyaccexec=$CAMLBIN/ocamlyacc
-	 ocamlmktopexec=$CAMLBIN/ocamlmktop
 	 ocamlmklibexec=$CAMLBIN/ocamlmklib
 	 camlp4oexec=$CAMLBIN/camlp4o
 esac
@@ -1191,7 +1189,6 @@ OCAMLYACC="$ocamlyaccexec"
 # Caml link command and Caml make top command
 CAMLLINK="$bytecamlc"
 CAMLOPTLINK="$nativecamlc"
-CAMLMKTOP="$ocamlmktopexec"
 
 # Caml flags
 CAMLFLAGS=-rectypes $coq_annotate_flag