coq/test-suite/coq-makefile/findlib-package-unpacked, branch master

coq/test-suite/coq-makefile/findlib-package-unpacked, branch master The formal proof system test coq-makefile/findlib-package-unpacked: only try to invoke 'make' when 2020-03-10T20:36:09+00:00 Ralf Treinen 2020-03-10T20:36:04+00:00 d22db7a4a3c95bbbe6a4d7a25ed08f9d99fa64e8 there is an ocamlopt compiler.

there is an ocamlopt compiler.

coq_makefile: test with CAMLPKGS and mllib 2020-01-03T15:08:21+00:00 Gaëtan Gilbert 2020-01-03T15:01:12+00:00 665ddac62b7f028f582fbf8fca842e920ed2268c