aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2017-09-01Bump MacOS version number and magic numbers.Maxime Dénès
2017-09-01Change version string to 8.8+alpha.Maxime Dénès
2017-07-26Merge PR #750: Remove deprecated options of ./configure in 8.8Maxime Dénès
2017-07-13Set version to 8.7+alpha.Maxime Dénès
2017-07-11Remove deprecated options from ./configureThéo Zimmermann
2017-07-07Set version to 8.7.0~alpha.Maxime Dénès
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-06-26Bump version number to 8.6.1.Maxime Dénès
2017-06-23[configure] 'ocaml' is more precise than OCaml as we mean the binary.Maxime Dénès
2017-06-23ocaml -> OCaml in configure.ml.Maxime Dénès
2017-06-23Merge PR#729: Fixing an inconsistency between configure and configure.mlMaxime Dénès
2017-06-14Merge PR#749: Normalize deprecation notices of ./configureMaxime Dénès
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-11Normalize deprecation notices of ./configureThéo Zimmermann
2017-06-04Ensure that warnings new from ocaml > 4.01 remains silent.Hugo Herbelin
2017-06-04Fixing an inconsistency between configure and configure.ml.Hugo Herbelin
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-29Configuration with -local definitively seen as an installation layout like ot...Hugo Herbelin
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-29Configure: viewing compilation in -local itself as an installation layout.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2017-05-29More structure and more code factorization in building defaultHugo Herbelin
2017-05-29Unifying the layout of installation directories.Hugo Herbelin
2017-05-29Unified terminology in configure.ml/coq_config.ml: arch_win32 -> arch_is_win32.Hugo Herbelin
2017-05-29Mini-renaming in configure.ml to avoid switching back and forth fromHugo Herbelin
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-28Don't disable deprecation warning for configure.mlGaëtan Gilbert
2017-05-23configure: -local set coqdoc destination dir to ./doc rather than ""Enrico Tassi
2017-05-20Deprecate -nodoc.Théo Zimmermann
2017-04-27Enable more warnings, and add -warn-error configure flagGaetan Gilbert
2017-04-07[camlpX] Enrico's changes to camlp4 removal.Emilio Jesus Gallego Arias
2017-04-07[camlpX] Remove camlp4 compat layer.Emilio Jesus Gallego Arias
2017-03-14[safe-string] Enable -safe-string !Emilio Jesus Gallego Arias
2017-03-10[META] [build] Install dlls to kernel/byterunEmilio Jesus Gallego Arias
2017-02-27Merge PR#399: Debug by defaultMaxime Dénès
2017-02-20Deprecate -debug flag.Maxime Dénès
2017-01-19Merge branch 'v8.6'Pierre-Marie Pédrot
2017-01-12Fix configure crash on some version strings of camlp5, e.g. "6.18-exp" (bug #...Guillaume Melquiond
2017-01-09Compile with debug information by default.Maxime Dénès
2017-01-09OCaml's -dtypes flag is deprecated and replaced by -annot.Maxime Dénès
2017-01-09Relax required OCaml to 4.02.1.Maxime Dénès
2017-01-04Fixing another inconsistency when looking for camlp5o when camlp5dir is given.Hugo Herbelin
2016-12-19Bump required OCaml version to 4.02.3.Maxime Dénès
2016-12-08Set version to 8.6 in configure.Maxime Dénès
2016-12-07Commit bumping the version number was partial...Maxime Dénès
2016-12-07Set version number to 8.6rc1.Maxime Dénès
2016-11-18Merge branch 'v8.6'Pierre-Marie Pédrot
2016-11-14Set version number to 8.6beta1.Maxime Dénès
2016-10-12Merge branch 'v8.6'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 21:38:29 +0000