aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2019-05-21Fixing typos - Part 1JPR
2019-05-08Define a new `is_a_released_version` variable in configure.ml.Théo Zimmermann
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-19Configuration: expand a version number to three fields when only 1 or 2 field...Hugo Herbelin
2019-03-11[dune] [configure] Fix `gramlib` path for hardcoded includes.Emilio Jesus Gallego Arias
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-22[configure] print Sys.os_type since Architecture alone is ambigousEnrico Tassi
2018-12-12Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comme...Maxime Dénès
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
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-13[configure] Remove grammar and dev from core_src_dirs.Emilio Jesus Gallego Arias
2018-11-08Revert "Merge PR #8923: Bump camlp5 minimal version and use its safe API."Pierre-Marie Pédrot
2018-11-07Bump up the minimal camlp5 version to 7.06.Pierre-Marie Pédrot
2018-11-05Pass native and VM flags to the kernel through environmentMaxime Dénès
2018-10-11[configure] Use absolute path for prefix.Emilio Jesus Gallego Arias
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-10-02Merge PR #8572: [config] Miscellaneous cleaning of configuration variables.Pierre-Marie Pédrot
2018-10-02Merge PR #7522: [ocaml] Update required OCaml version to 4.05.0Pierre-Marie Pédrot
2018-10-01[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-10-01[dune] [configure] Fix typo in default prefix setting.Emilio Jesus Gallego Arias
2018-09-27[configure] [dune] Don't force the Dune user to set envars.Emilio Jesus Gallego Arias
2018-09-27[configure] Don't die if the build sandbox doesn't have the stdlib.Emilio Jesus Gallego Arias
2018-09-26[ocaml] Update required OCaml version to 4.05.0Emilio Jesus Gallego Arias
2018-09-26[build] Re-enable warning 59.Emilio Jesus Gallego Arias
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-10Bump version number to 8.10+alpha.Guillaume Melquiond
2018-08-27Fix wwwrefman and wwwstdlibKazuhiko Sakaguchi
2018-07-14[build] Build Coq and plugins with `-strict-sequence`Emilio Jesus Gallego Arias
2018-07-13Make -warn-error fail on warnings emitted by coqc on stdlib.Maxime Dénès
2018-07-12[warnings] Disable warning 58 "no cmx file was found in path"Emilio Jesus Gallego Arias
2018-07-12[warnings] Disable warning 59 [assignment to a non-mutable value] to make fla...Emilio Jesus Gallego Arias
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-04Make bin/ in makefile, not configure.Gaëtan Gilbert
2018-06-29Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Pierre-Marie Pédrot
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-21Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3Maxime Dénès
2018-06-11[build] Fix checks and notes noting 4.02.1 instead of 4.02.3Emilio Jesus Gallego Arias
2018-06-11Bump version number to 8.9+alpha1Maxime Dénès
2018-06-03configure: fix warning printingGaëtan Gilbert
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-10[build] Build checker generated files using a make rule.Emilio Jesus Gallego Arias
2018-04-26Merge PR #7321: configure: make -annotate fatal, and color error and warningsEmilio Jesus Gallego Arias
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-04-22configure: make -annotate fatal, and color error and warningsGaëtan Gilbert
2018-03-13[Sphinx] Read version number from configureMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:50:58 +0000