coq/test-suite/coq-makefile/findlib-package, branch master The formal proof system Porting the test-suite to coqpp. 2018-10-19T14:24:46+00:00 Pierre-Marie Pédrot 2018-10-19T14:21:22+00:00 266050f7aaa0ee0b090b30b1acabaccda6919889 






Improve shell scripts
2018-04-05T21:05:43+00:00

zapashcanon

2018-02-21T21:42:10+00:00

250502b01340ec6bedace85c6a2d4a4e57a107cf












fix test-suite/coq-makefile/findlib-package on windows
2017-09-04T15:36:10+00:00

Enrico Tassi

2017-09-01T08:00:07+00:00

c2c1f7e74d13bf614a8704de1437d4c789b2c2c9












coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs
2017-08-29T15:47:57+00:00

Enrico Tassi

2017-08-29T12:56:31+00:00

6e07e3a53e56882043b9db49f03fdf1470a16c46












coq_makefile: use dedicated variable for extra packages
2017-08-29T12:25:51+00:00

Enrico Tassi

2017-08-20T13:24:53+00:00

2f335733853a062d0a0e21fa0842750b7b897b28

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.





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.







coq_makefile: test using findlib's package
2017-08-29T12:25:51+00:00

Enrico Tassi

2017-08-09T12:01:22+00:00

10a3ad4074fbc85ca146d44449c1fe433515e3db