aboutsummaryrefslogtreecommitdiff
path: root/tools/CoqMakefile.in
AgeCommit message (Expand)Author
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-13Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Théo Zimmermann
2018-04-27Fix PHONY typo in coq_makefileGaëtan Gilbert
2018-04-13[coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Enrico Tassi
2018-03-21docsRalf Jung
2018-03-20coq_makefile: provide variables to override for adding extra flagsRalf Jung
2018-03-20coq_makefile: FLAG make variables should not contain LIBSRalf Jung
2018-03-06Closes #6830: coqdep reads options and files from _CoqProject.Gaëtan Gilbert
2018-02-28Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGaëtan Gilbert
2018-02-19Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Maxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-02-15Merge PR #1073: new quick2vo target: like vio2vo, but smarterMaxime Dénès
2018-02-15new quick2vo target: like vio2vo, but smarterRalf Jung
2018-02-07Possible fix for issue #6697Yannick Forster
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-18Merge PR #6217: Do dependencies in 1 command per file class.Maxime Dénès
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-14Merge PR #6388: Fix issue #6387Maxime Dénès
2017-12-13Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Maxime Dénès
2017-12-11Fix issue #6387Martin Vassor
2017-12-11Restoring filtering of native files passed to `rm` during `make clean`.Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-07Merge PR #6142: Single quotes break on WindowsMaxime Dénès
2017-11-29coq_makefile: pass filenames to coqchkRalf Jung
2017-11-24Fix coq-makefile ocamldoc call when configured with -annotate.Gaëtan Gilbert
2017-11-11Single quotes break on WindowsCarl Patenaude Poulin
2017-10-11Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...Maxime Dénès
2017-10-05Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Maxime Dénès
2017-09-20coq_makefile: dont show errors from failed (ignored) rmdirRalf Jung
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-09-15Merge PR #990: Prevent warning about DSTROOT being undefined.Maxime Dénès
2017-08-29coq_makefile: fix .merlin generation (FLG -thread)Enrico Tassi
2017-08-29coq_makefile: improve documentationEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29coq_makefile: do not overwrite CAMLFLAGSEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: build/use .cma for packed pluginsEnrico Tassi
2017-08-22Prevent warning about DSTROOT being undefined.Guillaume Melquiond
2017-08-16Merge PR #964: More portable location for the time command.Maxime Dénès
2017-08-12fix coq_makefileMatej Košík
2017-08-12More portable location for the time command.Théo Zimmermann
2017-07-27[make] remove compat5 file.Emilio Jesus Gallego Arias
2017-07-20coq-makefile: strip windows drive letter when DESTDIR is not emptyEnrico Tassi
2017-07-20coq-makefile: treat coq_makefile as any other coq binaryEnrico Tassi
2017-07-11Add timing scriptsJason Gross
2017-07-08Fix TIMED=1 on Mac OSXJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 01:46:44 +0000