aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/CoqMakefile.in
Commit message (Expand)AuthorAge
* Merge PR #8015: Output UTF-8 explicitly in timing toolsGravatar Jason Gross2018-07-08
|\
| * Output UTF-8 explicitly in timing toolsGravatar Jasper Hugunin2018-07-07
* | Merge PR #7921: Archive the `gallina` toolGravatar Maxime Dénès2018-07-07
|\ \ | |/ |/|
* | Merge PR #7990: Convert timing tool to python3Gravatar Jason Gross2018-07-05
|\ \
| * | Convert timing tools to run with both python2 and python3Gravatar Jasper Hugunin2018-07-04
* | | Fix timing tools on NixOS.Gravatar Théo Zimmermann2018-07-03
|/ /
| * Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
|/
* Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Gravatar Théo Zimmermann2018-06-13
|\
* | Fix PHONY typo in coq_makefileGravatar Gaëtan Gilbert2018-04-27
| * [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Gravatar Enrico Tassi2018-04-13
|/
* docsGravatar Ralf Jung2018-03-21
* coq_makefile: provide variables to override for adding extra flagsGravatar Ralf Jung2018-03-20
* coq_makefile: FLAG make variables should not contain LIBSGravatar Ralf Jung2018-03-20
* Closes #6830: coqdep reads options and files from _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
* Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGravatar Gaëtan Gilbert2018-02-28
* Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\
| * Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
* | Merge PR #1073: new quick2vo target: like vio2vo, but smarterGravatar Maxime Dénès2018-02-15
|\ \
| * | new quick2vo target: like vio2vo, but smarterGravatar Ralf Jung2018-02-15
| |/
* / Possible fix for issue #6697Gravatar Yannick Forster2018-02-07
|/
* Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\
| * 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
|/
* Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\
| * Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \
* \ \ Merge PR #6388: Fix issue #6387Gravatar Maxime Dénès2017-12-14
|\ \ \
* \ \ \ Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Gravatar Maxime Dénès2017-12-13
|\ \ \ \
| | * | | Fix issue #6387Gravatar Martin Vassor2017-12-11
| |/ / / |/| | |
| * | | Restoring filtering of native files passed to `rm` during `make clean`.Gravatar Maxime Dénès2017-12-11
| | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| |/ / |/| |
* | | Merge PR #6142: Single quotes break on WindowsGravatar Maxime Dénès2017-12-07
|\ \ \
* | | | coq_makefile: pass filenames to coqchkGravatar Ralf Jung2017-11-29
| |_|/ |/| |
* | | Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Gaëtan Gilbert2017-11-24
| |/ |/|
| * Single quotes break on WindowsGravatar Carl Patenaude Poulin2017-11-11
|/
* Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...Gravatar Maxime Dénès2017-10-11
* Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Gravatar Maxime Dénès2017-10-05
|\
* | coq_makefile: dont show errors from failed (ignored) rmdirGravatar Ralf Jung2017-09-20
| * coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
* | Merge PR #990: Prevent warning about DSTROOT being undefined.Gravatar Maxime Dénès2017-09-15
|\ \ | |/ |/|
* | coq_makefile: fix .merlin generation (FLG -thread)Gravatar Enrico Tassi2017-08-29
* | coq_makefile: improve documentationGravatar Enrico Tassi2017-08-29
* | coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsGravatar Enrico Tassi2017-08-29
* | coq_makefile: do not overwrite CAMLFLAGSGravatar Enrico Tassi2017-08-29
* | coq_makefile: use dedicated variable for extra packagesGravatar Enrico Tassi2017-08-29
* | coq_makefile: build/use .cma for packed pluginsGravatar Enrico Tassi2017-08-29
| * Prevent warning about DSTROOT being undefined.Gravatar Guillaume Melquiond2017-08-22
|/
* Merge PR #964: More portable location for the time command.Gravatar Maxime Dénès2017-08-16
|\
* | fix coq_makefileGravatar Matej Košík2017-08-12
| * More portable location for the time command.Gravatar Théo Zimmermann2017-08-12
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 11:55:00 +0000