diff options
| -rw-r--r-- | myocamlbuild.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index c6e2cf0185..73d30fe701 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -264,7 +264,7 @@ let extra_rules () = begin (* TODO : line2 isn't completely accurate with respect to ./configure: the case of -local -coqrunbyteflags foo isn't supported *) let line1 = - "let coqrunbyteflags = \"-dllib -lcoqrun -dllpath 'kernel/byterun'\"\n" + "let coqrunbyteflags = \"-dllib -lcoqrun\"\n" in Echo (lines @ (if local then [line0;line1] else []), "coq_config.ml")); |