From c734ccd8081e52ee5576d0efac9b065d4f37f7d5 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Wed, 22 Jan 2014 17:33:55 +0100 Subject: Coqmktop without Sys.command, changes in ./configure -*byteflags options NB: Please re-run ./configure after pulling this commit For launching ocamlc/ocamlopt, coqmktop doesn't use Sys.command anymore, but rather CUnix.sys_command, which is based on Unix.create_process. This way, we do not need to bother with the underlying shell (/bin/sh or cmd.exe) and the way arguments are to be quoted :-). Btw, many cleanups of coqmktop. Only difficulty: the -coqrunbyteflags of ./configure is a "meta-option" that collect as a string several sub-options to be given by coqmktop to ocamlc. For instance ./configure -coqrunbyteflags "-dllib -lcoqrun". We need now to parse all these sub-options. To ease that, I've made the following changes to the ./configure options: * The -coqrunbyteflags and its blank-separated argument isn't accepted anymore, and is replaced by a new option -vmbyteflags which expects a comma-separated argument. For instance: ./configure -vmbyteflags "-dllib,-lcoqrun" Btw, on this example, the double-quotes aren't mandatory anymore :-) * The -coqtoolsbyteflags isn't accepted anymore. To the best of my knowledge, nobody ever used it directly (it was internally triggered as a byproduct of the -custom option). The only interest I can think of for this option was to cancel the default use of ocamlc custom-linking on Win32 and MacOS. For that, ./configure now provides a -no-custom option. --- config/coq_config.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'config') diff --git a/config/coq_config.mli b/config/coq_config.mli index 94d0b6c93..23f7c0eb6 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -38,7 +38,7 @@ val best : string (* byte/opt *) val arch : string (* architecture *) val arch_is_win32 : bool val osdeplibs : string (* OS dependant link options for ocamlc *) -val coqrunbyteflags : string (* -custom/-dllib -lcoqrun *) +val vmbyteflags : string list (* -custom/-dllib -lcoqrun *) (* val defined : string list (* options for lib/ocamlpp *) *) -- cgit v1.2.3