aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile
AgeCommit message (Expand)Author
2017-11-22Add test-suite tests for timing scriptsJason Gross
2017-11-17Have the coq_makefile timing test-suite print moreJason Gross
2017-11-08Remove dependency of test-suite on git (fix #5725).Théo Zimmermann
2017-10-19Handle ∞ in coq-makefile timing test-suiteJason Gross
2017-09-22Make a test for coq_makefile portable.Pierre-Marie Pédrot
2017-09-04fix test-suite/coq-makefile/findlib-package on windowsEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: test using findlib's packageEnrico Tassi
2017-07-20more verbose logs for coq-makefileEnrico Tassi
2017-07-20coq-makefile: make test suite detect more errorsEnrico Tassi
2017-07-11Add timing scriptsJason Gross
2017-06-15Remove dependency on -compat flag in coq_makefile test suite.Maxime Dénès
2017-06-12Merge PR#709: Bytecode compilation apart from 'make world', againMaxime Dénès
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-01Test-suite: do not test native compiler if disabled by configure.Maxime Dénès
2017-06-01test-suite/coq-makefile: we do not build byte file by default anymorePierre Letouzey
2017-05-29Merge PR#687: Gitlab CIMaxime Dénès
2017-05-28Merge PR#689: Changes to make coq-makefile not failing on MacOS X.Maxime Dénès
2017-05-28Merge PR#683: coq_makefile: build .cma for each .mlpackMaxime Dénès
2017-05-28Gitlab CIGaëtan Gilbert
2017-05-27coq_makefile: build .cma for each .mlpackEnrico Tassi
2017-05-27Add execution permission to test-suite file.Théo Zimmermann
2017-05-27Use specific shell for more robustness.Théo Zimmermann
2017-05-27Fix test-suite/coq-makefile on NixOS.Théo Zimmermann
2017-05-26Changes to make coq-makefile not failing on MacOS X.Hugo Herbelin
2017-05-23add the only targetEnrico Tassi
2017-05-23coq_makefile: don't quote extra arguments (-arg)Enrico Tassi
2017-05-23test suite for coq_makefile2Enrico Tassi
2017-05-23test suite for coq_makefileEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 13:59:34 +0000