aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
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
2018-03-09Configure now fails with -with-doc yes when a doc dependency is missing.Maxime Dénès
2018-03-08Merge PR #6817: [configure]: support for profilesMaxime Dénès
2018-03-06Add some missing flushes in configure.Maxime Dénès
2018-03-05configure: -warn-error: now takes a bool so that you can also turn it offEnrico Tassi
2018-03-05configure: profiles (sets of flags)Enrico Tassi
2018-03-05configure: make Prefs a record rather than a module of refsEnrico Tassi
2018-02-21Merge PR #6283: A pre-commit hook to magically fix whitespace issues.Maxime Dénès
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-02-08Auto-create .git/hooks/pre-commit on ./configureJason Gross
2018-01-22Merge PR #6576: generate both binary and text annotationsMaxime Dénès
2018-01-19-annotate deprecated. New options: -annot, -bin-annotVadim Zaliva
2018-01-17Merge PR #6600: Update configure.ml to only warn on lablgtk >= 2.16.0 and < 2...Maxime Dénès
2018-01-16Update lablgtk check to be more generalJason Gross
2018-01-16Update configure.ml to only warn on lablgtk 2.16.0Jason Gross
2018-01-16Merge PR #6466: Replace md5sum/md5 calls by an OCaml programMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:36 +0000