aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile
Commit message (Expand)AuthorAge
* Merge PR #1073: new quick2vo target: like vio2vo, but smarterGravatar Maxime Dénès2018-02-15
|\
| * disable tests: vio2vo is broken in WindowsGravatar Ralf Jung2018-02-15
| * also test vio2voGravatar Ralf Jung2018-02-15
| * test "make quick2vo"Gravatar Ralf Jung2018-02-15
* | coq_makefile: Support "" as the prefix in _CoqProjectGravatar Joachim Breitner2018-02-15
|/
* Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\
* | Trim more trailing whitespace in coq-makefile timing testGravatar Jason Gross2017-12-31
| * Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
* | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
|/
* Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* Merge PR #6235: Fixing failing mkdir in test-suite for coq-makefile.Gravatar Maxime Dénès2017-11-28
|\
* \ Merge PR #6237: coq_makefile tests: build in easily removed temporary subdire...Gravatar Maxime Dénès2017-11-27
|\ \
| * | coq_makefile tests: build in easily removed temporary subdirectory.Gravatar Gaëtan Gilbert2017-11-24
| | * Fixing failing mkdir in test-suite for coq-makefile.Gravatar Hugo Herbelin2017-11-24
| |/
* / Add test-suite tests for timing scriptsGravatar Jason Gross2017-11-22
|/
* Have the coq_makefile timing test-suite print moreGravatar Jason Gross2017-11-17
* Remove dependency of test-suite on git (fix #5725).Gravatar Théo Zimmermann2017-11-08
* Handle ∞ in coq-makefile timing test-suiteGravatar Jason Gross2017-10-19
* Make a test for coq_makefile portable.Gravatar Pierre-Marie Pédrot2017-09-22
* fix test-suite/coq-makefile/findlib-package on windowsGravatar Enrico Tassi2017-09-04
* coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsGravatar Enrico Tassi2017-08-29
* coq_makefile: use dedicated variable for extra packagesGravatar Enrico Tassi2017-08-29
* coq_makefile: test using findlib's packageGravatar Enrico Tassi2017-08-29
* more verbose logs for coq-makefileGravatar Enrico Tassi2017-07-20
* coq-makefile: make test suite detect more errorsGravatar Enrico Tassi2017-07-20
* Add timing scriptsGravatar Jason Gross2017-07-11
* 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