coq/test-suite/coq-makefile/native1/_CoqProject, branch master The formal proof system Ignore -native-compiler option when disabled 2020-04-15T14:38:24+00:00 Pierre Roux 2020-04-10T15:49:03+00:00 88b1f400ef05142a1f05cd7dcb34a4c682b7ab83 






Pass native and VM flags to the kernel through environment
2018-11-05T09:36:22+00:00

Maxime Dénès

2018-10-31T10:45:09+00:00

e2e7fea91f3af5dcf62052078da65489b796e9e2

The kernel no longer has to read the configure flag, its value can now
be overriden by a coqtop/coqc argument, and more generally is easier to
set from a toplevel (such as the checker).

We also add a `-bytecode-compiler` flag.

Fixes #4607





The kernel no longer has to read the configure flag, its value can now
be overriden by a coqtop/coqc argument, and more generally is easier to
set from a toplevel (such as the checker).

We also add a `-bytecode-compiler` flag.

Fixes #4607







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












test suite for coq_makefile2
2017-05-23T08:48:28+00:00

Enrico Tassi

2017-01-23T16:32:58+00:00

352c23666babc7dd8f0136b02d9ef1893f9bde5c