aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-05-06Fix #12211Jason Gross
2020-04-29When TIMED=1, emit timing info for OCaml filesJason Gross
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-21Merge PR #12082: Fixes #11808: support for test-suite in -byte-only modeGaëtan Gilbert
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-19Fix Makefile warning: undefined variable '*'Jason Gross
2020-04-12Fixing export of CAML_LD_LIBRARY_PATH from config/Makefile to Makefile.common.Hugo Herbelin
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-04[micromega] Add numerical compatibility layer.Emilio Jesus Gallego Arias
2020-03-02Merge PR #11634: Remove the dependency in float.cmo and uint63.cmo for buildi...Pierre-Marie Pédrot
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-19Remove the dependency in float.cmo and uint63.cmo for building votour.Hugo Herbelin
2020-02-13[build] Consolidate stdlib's .v files under a single directory.Emilio Jesus Gallego Arias
2020-02-07[coqdep] Don't treat stdlib specially in boot mode.Emilio Jesus Gallego Arias
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-01-30Don't install doc_grammarGaëtan Gilbert
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-11-21Merge PR #10614: Update the Gallina grammar in doc, "Terms" sectionThéo Zimmermann
2019-11-20Update grammar in the Terms section of Gallina chapterJim Fehrle
2019-11-08coqdep: only output vos when passed -vosGaëtan Gilbert
2019-11-01Makefile.build: Fix rules of bin/votour{,.byte}Erik Martin-Dorel
2019-11-01Make primitive float work on x86_32Pierre Roux
2019-11-01Add primitive floats to checkerPierre Roux
2019-10-18Adding a test for votour.Pierre-Marie Pédrot
2019-10-14Merge PR #10811: Allow SProp default onPierre-Marie Pédrot
2019-10-12[make] separate generated gramlib ml files from mli files (fix #10864)Enrico Tassi
2019-10-04Allow SProp default onGaëtan Gilbert
2019-10-03Improved handling of micromega cachesFrédéric Besson
2019-08-25Changed chmod -w to chmod a-w to avoid error on cygwinMichael Soegtrop
2019-08-24saner cond_flags in makefileGaëtan Gilbert
2019-08-24Simplify picking between uint63_63.ml and uint63_31.mlGaëtan Gilbert
2019-07-19Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg filesJim Fehrle
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-06-06Merge PR #9972: [build] Select uint63 using `ocamlc -config` variables.Vincent Laporte
2019-05-21Fixing typos - Part 1JPR
2019-05-21[build] Select uint63 using `ocamlc -config` variables.Emilio Jesus Gallego Arias
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-03-14Add a non-cumulative impredicative universe SProp.Gaëtan Gilbert
2019-03-11Fix undefined gramlib_MLLIB_DEPENDENCIES in make installGaëtan Gilbert
2019-03-03Cleanup exported variables in Makefile.buildGaëtan Gilbert
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2019-02-21Fix #9613 use -coqlib when invoking coqchkGaëtan Gilbert
2019-02-14[coqlib] Remove `-boot` option for setting the coqlibEmilio Jesus Gallego Arias
2019-02-06Makefiles: Fixes for byte compilationGaëtan Gilbert
2019-02-04Primitive integersMaxime Dénès
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2019-01-11[STM] set the mtime of files generated via vio2vo (fix #9334)Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:25:21 +0000