diff options
| author | Ike Mulder | 2019-04-26 16:16:47 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-28 05:35:56 +0100 |
| commit | 02b40f6cdb7ec56f34c6b773b1d7768b4b135fd9 (patch) | |
| tree | a36dd7ef9fd751bdeb7a4fbfd4add4ed4d68c2b6 /configure.ml | |
| parent | aeca986089d005054496ed4bcf1b920e8fa02173 (diff) | |
Fixed some escaping problems with arguments containing spaces in IDE's Compile buffer, and with building from a path containing spaces.
Updated CHANGES.md
Now using Filename.quote instead of enclosing in single quotes.
Fixed rebasing problems.
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 6e15cdbe4e..55d71f6c2e 100644 --- a/configure.ml +++ b/configure.ml @@ -975,7 +975,7 @@ let config_runtime () = | Some flags -> string_split ',' flags | _ when use_custom -> [custom_flag] | _ when !prefs.local -> - ["-dllib";"-lcoqrun";"-dllpath";coqtop/"kernel/byterun"] + ["-dllib";"-lcoqrun";"-dllpath";("\"" ^ coqtop ^ "/kernel/byterun\"")] | _ -> let ld="CAML_LD_LIBRARY_PATH" in build_loadpath := sprintf "export %s:='%s/kernel/byterun':$(%s)" ld coqtop ld; |