aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile
Commit message (Expand)AuthorAge
* Remove dependency on -compat flag in coq_makefile test suite.Gravatar Maxime Dénès2017-06-15
* Merge PR#709: Bytecode compilation apart from 'make world', againGravatar Maxime Dénès2017-06-12
|\
* | Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* | Test-suite: do not test native compiler if disabled by configure.Gravatar Maxime Dénès2017-06-01
| * test-suite/coq-makefile: we do not build byte file by default anymoreGravatar Pierre Letouzey2017-06-01
|/
* Merge PR#687: Gitlab CIGravatar Maxime Dénès2017-05-29
|\
* \ Merge PR#689: Changes to make coq-makefile not failing on MacOS X.Gravatar Maxime Dénès2017-05-28
|\ \
* \ \ Merge PR#683: coq_makefile: build .cma for each .mlpackGravatar Maxime Dénès2017-05-28
|\ \ \
| | | * Gitlab CIGravatar Gaëtan Gilbert2017-05-28
| * | | coq_makefile: build .cma for each .mlpackGravatar Enrico Tassi2017-05-27
| | |/ | |/|
* | | Add execution permission to test-suite file.Gravatar Théo Zimmermann2017-05-27
* | | Use specific shell for more robustness.Gravatar Théo Zimmermann2017-05-27
* | | Fix test-suite/coq-makefile on NixOS.Gravatar Théo Zimmermann2017-05-27
|/ /
| * Changes to make coq-makefile not failing on MacOS X.Gravatar Hugo Herbelin2017-05-26
|/
* add the only targetGravatar Enrico Tassi2017-05-23
* coq_makefile: don't quote extra arguments (-arg)Gravatar Enrico Tassi2017-05-23
* test suite for coq_makefile2Gravatar Enrico Tassi2017-05-23
* test suite for coq_makefileGravatar Enrico Tassi2017-05-23