From 8feaf6a1c648f78e987a9e1483816f3a5e05a179 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 23 Aug 2012 12:52:39 +0000
Subject: configure: no more need for ocamlmktop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15747 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 532d0f9bf..0cf0e83ef 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
-- 
cgit v1.2.3