aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/coqdoc2/run.sh
AgeCommit message (Expand)Author
2020-11-20[CI] Update coq_makefilePierre Roux
2019-11-20From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin...charguer
2019-11-01[test-suite] acknowledge coq_mafile installs .vosEnrico Tassi
2018-04-05Improve shell scriptszapashcanon
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-07-20more verbose logs for coq-makefileEnrico Tassi
2017-07-20coq-makefile: make test suite detect more errorsEnrico Tassi
2017-06-01test-suite/coq-makefile: we do not build byte file by default anymorePierre Letouzey
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-27coq_makefile: build .cma for each .mlpackEnrico Tassi
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-23test suite for coq_makefile2Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:53:55 +0000