aboutsummaryrefslogtreecommitdiff
path: root/tools/CoqMakefile.in
AgeCommit message (Expand)Author
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-07-01Remove deprecated (in 8.8 #6277) coqchk -IGaëtan Gilbert
2020-06-28Update CAMLDONTLINK in CoqMakefile.inAndres Erbsen
2020-05-30Coq_makefile: adding a dependency of .coqdeps on _CoqProject.Hugo Herbelin
2020-05-27Adding changelog.Martin Bodin
2020-05-27Promoting COQLIBINSTALL and COQDOCINSTALL in coq_makefile to the parameters s...Martin Bodin
2020-04-29When TIMED=1, emit timing info for OCaml filesJason Gross
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-19Fix Makefile warning: undefined variable '*'Jason Gross
2020-04-08Fix a typo in CoqMakefile.inJason Gross
2020-04-02remove .lia.cache and .nia.cache by make cleanallOlivier Laurent
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-13[coqdep] Remove support for `-c` ocamldep replacement.Emilio Jesus Gallego Arias
2020-02-13[coqdep] Merge `-sort` and `-suffix` options.Emilio Jesus Gallego Arias
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-01-13Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and...Pierre-Marie Pédrot
2020-01-03coq_makefile: don't use CAMLPKGS when building cmxa of mllibGaëtan Gilbert
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-11-21Merge PR #11075: load .vo when .vos is missing + misc vos changesEmilio Jesus Gallego Arias
2019-11-20From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin...charguer
2019-11-20Merge PR #11068: coq_makefile: support COQBIN with no ending /Enrico Tassi
2019-11-19coq_makefile: support COQBIN with no ending /Gaëtan Gilbert
2019-11-08coqdep: only output vos when passed -vosGaëtan Gilbert
2019-11-01fix installation of vos files in coq Makefilecharguer
2019-11-01fix coq_makefile and doc for vos support.charguer
2019-11-01Implementing support for vos/vok files.charguer
2019-10-28Rename `VDFILE` from `.coqdeps.d` to `.<CoqMakefile>.d` in the `coq_makefile`...Kazuhiko Sakaguchi
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-05-23Fixing typos - Part 3JPR
2019-04-28Merge PR #9605: [coq_makefile] Enforce warn_error for plugins.Gaëtan Gilbert
2019-04-25coq_makefile: do not pass -opt/-byte to coqc (fix #9974)Enrico Tassi
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-08coq_makefile install target: error if any file is missingGaëtan Gilbert
2019-02-20[paths] Try to be more portable on Win32Emilio Jesus Gallego Arias
2019-01-08Fix undefined variables in coq_makefileGaëtan Gilbert
2018-12-04Remove leftover code that used to handle ml4 files.Pierre-Marie Pédrot
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-13coq_makefile: Fix ocamldep ignoring mlg filesGaëtan Gilbert
2018-10-19Adapt coq_makefile to handle coqpp-based macro files.Pierre-Marie Pédrot
2018-08-24Fix ordering of before/after in print-pretty-timed-*Jason Gross
2018-07-08Merge PR #8015: Output UTF-8 explicitly in timing toolsJason Gross
2018-07-07Output UTF-8 explicitly in timing toolsJasper Hugunin
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-05Merge PR #7990: Convert timing tool to python3Jason Gross
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:02:49 +0000