aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
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
2019-01-10[make] support for QUICKEnrico Tassi
2018-12-13Merge PR #9194: Fixing uses of sed in #8985 which do not work on MacOS XMatthieu Sozeau
2018-12-13Fixing uses of sed which do not work on MacOS X.Hugo Herbelin
2018-12-12User flags for coqtop/coqc in Makefile and CI build templateMaxime Dénès
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-11-21Merge PR #8945: [camlp5] Remove dependency on camlp5.Pierre-Marie Pédrot
2018-11-21Merge PR #9005: More informative error on vo validation failurePierre-Marie Pédrot
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21More informative error on vo validation failureGaëtan Gilbert
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-06[checker] Refactor by sharing code with the kernelMaxime Dénès
2018-11-02Remove ml4 from Coq's make build systemGaëtan Gilbert
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-18Adding a rule to generate grammar.cma.Pierre-Marie Pédrot
2018-10-11Merge PR #8644: [build] enable warnings on kernel/% in make based buildsMaxime Dénès
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-10-03[build] enable warnings ok kernel/% in make based buildsEnrico Tassi
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-08-28Put camldevfiles targets in MakefileGaëtan Gilbert
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-13Make -warn-error fail on warnings emitted by coqc on stdlib.Maxime Dénès
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-11[coqpp] Move to its own directory.Emilio Jesus Gallego Arias
2018-07-10Compile coqpp inside the bin/ folder and make it available after installation.Pierre-Marie Pédrot
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Enrico Tassi
2018-07-02Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...Emilio Jesus Gallego Arias
2018-06-30Suppress useless "true bin/*.opt.exe" messages from no-op STRIP and CODESIGN ...Jim Fehrle
2018-06-30Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Jim Fehrle
2018-06-29Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Pierre-Marie Pédrot
2018-06-29[build] Remove target binary before copy.Emilio Jesus Gallego Arias
2018-06-25Archive the `gallina` toolVincent Laporte
2018-05-26Merge PR #7543: [ide] Move common protocol library to its own folder/object.Pierre-Marie Pédrot
2018-05-24Fix recipe for FAKEIDEBYTEGaëtan Gilbert
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-24Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.Enrico Tassi
2018-05-23Merge PR #7414: Add .byte targets for every bestocaml targetEnrico Tassi
2018-05-22[build] Add -cclib -lcoqrun options to build of kernel.cmxa.Emilio Jesus Gallego Arias
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:55:28 +0000