diff options
| author | barras | 2004-11-15 11:32:24 +0000 |
|---|---|---|
| committer | barras | 2004-11-15 11:32:24 +0000 |
| commit | 08cb37edb71af0301a72acc834d50f24b0733db5 (patch) | |
| tree | aeddec624e8cdcaa8b4114dff4f08cc2b5c7e6f8 /scripts | |
| parent | 946e51657c8b8292a9dc21b23d7668fc0797ccff (diff) | |
bug coqmktop avec libcoqrun.a en bytecode
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6301 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index 632c3ebd6e..29defb5c2d 100644 --- a/scripts/coqmktop.ml +++ b/scripts/coqmktop.ml @@ -25,10 +25,10 @@ let libobjs = ocamlobjs @ camlp4objs let spaces = Str.regexp "[ \t\n]+" let split_list l = Str.split spaces l -let ide = split_list Tolink.ide - +let copts = split_list Tolink.copts let core_objs = split_list Tolink.core_objs let core_libs = split_list Tolink.core_libs +let ide = split_list Tolink.ide (* 3. Toplevel objects *) let camlp4topobjs = @@ -50,7 +50,7 @@ let coqide = ref false let echo = ref false let src_dirs () = - [ []; [ "config" ]; [ "toplevel" ] ] @ + [ []; ["kernel";"byterun"]; [ "config" ]; [ "toplevel" ] ] @ if !coqide then [[ "ide" ]] else [] let includes () = @@ -299,11 +299,12 @@ let main () = (* the list of the loaded modules *) let main_file = create_tmp_main_file modules in try - let args = options @ (includes ()) @ tolink @ dynlink @ [ main_file ] in + let args = + options @ (includes ()) @ copts @ tolink @ dynlink @ [ main_file ] in (* add topstart.cmo explicitly because we shunted ocamlmktop wrapper *) let args = if !top then args @ [ "topstart.cmo" ] else args in (* Now, with the .cma, we MUST use the -linkall option *) - let command = String.concat " " ((prog^" -linkall")::args) in + let command = String.concat " " (prog::args) in if !echo then begin print_endline command; |