diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-23 12:52:39 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-23 12:52:39 +0000 |
| commit | 8feaf6a1c648f78e987a9e1483816f3a5e05a179 (patch) | |
| tree | 62b7016ed4325d5b077bd5461f138fcb69e1b418 /configure | |
| parent | eeb40218fe45539df561466095dfcf68af1d168a (diff) | |
configure: no more need for ocamlmktop
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15747 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -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 |