diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-20 15:24:53 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-29 14:25:51 +0200 |
| commit | 2f335733853a062d0a0e21fa0842750b7b897b28 (patch) | |
| tree | 5bc51e733f661b2f6a55cdd79f333518f3b1de48 /test-suite/coq-makefile/findlib-package | |
| parent | 534b8afafc763b382fb3fa747bb95a9a57676d4c (diff) | |
coq_makefile: use dedicated variable for extra packages
CAMLPKGS is now used to hold extra findlib -packages
The previous solution was to use CAMLFLAGS but since 4.05 an
invocation of `ocamlopt -pack useless.cmxa foo.cmx -o packedfoo.cmx`
fails saying that `useless.cmxa` is not a compilation unit description.
CAMLPKGS is used in all `ocamlopt` invocations but for the one
performing the packing.
Diffstat (limited to 'test-suite/coq-makefile/findlib-package')
| -rw-r--r-- | test-suite/coq-makefile/findlib-package/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/coq-makefile/findlib-package/Makefile.local b/test-suite/coq-makefile/findlib-package/Makefile.local index e9c430556..5373b0219 100644 --- a/test-suite/coq-makefile/findlib-package/Makefile.local +++ b/test-suite/coq-makefile/findlib-package/Makefile.local @@ -1,3 +1,3 @@ -OCAMLLIBS += -package foo +CAMLPKGS += -package foo CAMLLINK := "$(OCAMLFIND)" ocamlc -rectypes -thread -linkpkg -dontlink str CAMLOPTLINK := "$(OCAMLFIND)" ocamlopt -rectypes -thread -linkpkg -dontlink str |