From dd0fa1a38613af80e3b261eb5e6be1b6f40a8bda Mon Sep 17 00:00:00 2001
From: glondu
Date: Fri, 5 Sep 2008 06:09:09 +0000
Subject: Parametrize link flags for VM-dependent bytecode

 * Remove unneeded -custom flags.
 * Replace needed ones by a configure parameter. Setting it to "-dllib
   -lcoqrun" enables the creation/usage of pure bytecode executable
   provided the so/dll with the VM is found by ocamlrun.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11363 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index ef869a17e0..c89ea827e7 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -289,7 +289,8 @@ let main () =
       (* bytecode (we shunt ocamlmktop script which fails on win32) *)
       let ocamlmktoplib = " toplevellib.cma" in
       let ocamlcexec = Filename.concat Coq_config.camldir "ocamlc" in
-      let ocamlccustom = ocamlcexec^" -custom -linkall" in
+      let ocamlccustom = Printf.sprintf "%s %s -linkall "
+        ocamlcexec Coq_config.coqrunbyteflags in
       (if !top then ocamlccustom^ocamlmktoplib else ocamlccustom)
   in
   (* files to link *)
-- 
cgit v1.2.3