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 /vernac/lemmas.ml | |
| 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 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions