aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
2019-12-13[doc] [INSTALL] Port INSTALL to markdown format.Emilio Jesus Gallego Arias
2019-12-02Allow to override build date with SOURCE_DATE_EPOCHBernhard M. Wiedemann
2019-11-01Add the IEEE-754 arch requirement in INSTALLPierre Roux
2019-09-19[ci] Update supported OCaml version to 4.09.0Emilio Jesus Gallego Arias
2019-08-27[ci] Update to OCaml 4.08.1Emilio Jesus Gallego Arias
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-27Fix dev/doc/README.md by removing redundant, outdated info.Théo Zimmermann
2019-06-05Remove redundancies in the INSTALL doc.Théo Zimmermann
2019-06-05Fix #10283: clearer dependency documentation for building CoqIDE.Théo Zimmermann
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-01-28[doc] Remove emacs mentions from INSTALLEmilio Jesus Gallego Arias
2018-11-21[camlp5] Remove dependency on camlp5.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-10-05[ci] [dune] [opam] Fixes to OPAM and CI target.Emilio Jesus Gallego Arias
2018-09-26[ocaml] Update required OCaml version to 4.05.0Emilio Jesus Gallego Arias
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-06-22Get rid of INSTALL.ide. List the dependency versions in INSTALL.Théo Zimmermann
2018-06-22Fix #7608: missing num package in INSTALL documentation.Théo Zimmermann
2018-04-03[doc] Document better ocamlfind and flambda requirements.Emilio Jesus Gallego Arias
2017-12-05Correct typoMartin Vassor
2017-10-10[flambda] [native] Pass `-Oclassic` to the native compiler.Emilio Jesus Gallego Arias
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-10-05Fix typo in INSTALLMaxime Dénès
2017-09-25[doc] Update INSTALL to match reality.Emilio Jesus Gallego Arias
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-04-11Update INSTALL now that -debug is the default.Théo Zimmermann
2017-04-07[camlpX] Enrico's changes to camlp4 removal.Emilio Jesus Gallego Arias
2017-01-09Relax required OCaml to 4.02.1.Maxime Dénès
2016-11-14Set version number to 8.6beta1.Maxime Dénès
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-04-17Updating OCaml version number needed for 8.6.Hugo Herbelin
2015-10-29Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-26Preventing using OCaml 4.02.0 for compiling Coq as compilation timesHugo Herbelin
2015-06-22Fixup last commitPierre Boutillier
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-01-29Extra check at the INSTALL file.Hugo Herbelin
2014-10-16More fallout from elisp renameAnders Kaseorg
2014-06-30refresh INSTALLPierre Boutillier
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23configure: no more need for ocamlmktopletouzey
2012-08-08Updating version numbers.herbelin
2012-02-20- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...notin
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2009-11-05Changement de la version minimale requise de OCaml (3.07 => 3.09.3).notin
2009-02-11Add -coqtoolsbyteflags and -custom to ./configure...glondu
2008-09-07Update CHANGES and INSTALLglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:49:13 +0000