aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
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
2016-10-12Fix git recognition when in worktrees.Théo Zimmermann
2016-10-02Merge branch 'v8.6'Pierre-Marie Pédrot
2016-09-29fix bug 3683 : adds references to the web site for the bug trackerYves Bertot
2016-08-25FIX: Coq versionMatej Kosik
2016-08-25Merge remote-tracking branch 'v8.6' into trunkMatej Kosik
2016-08-25FIX: Coq versionMatej Kosik
2016-08-17Merge branch 'v8.6'Pierre-Marie Pédrot
2016-08-16Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-08-11Use the "md5" command on OpenBSD (bug #5008).Guillaume Melquiond
2016-07-26No more dev/printers.cmaPierre Letouzey
2016-07-07Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-07-06Fix typo in configure (noticed by Jason).Maxime Dénès
2016-07-06Bump version number in preparation for 8.5pl2 release.Maxime Dénès
2016-07-06Fix indentation of configure printoutJason Gross
2016-06-24remove an old workaround for OCaml 3.11 + MacOS natdynlinkPierre Letouzey
2016-06-20Merge remote-tracking branch 'github/pr/212' into trunkMaxime Dénès
2016-06-18Fix path separator on windowsJason Gross
2016-06-18Fix the build on WindowsJason Gross
2016-06-17Set required version of camlp5 to 6.06.Maxime Dénès
2016-06-14configure: use ln on linux and cp on windowsEnrico Tassi
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-09New update on how to find camlp5 binary and library at configure time.Hugo Herbelin
2016-06-08Officially discontinue the experimental coq build via ocamlbuildPierre Letouzey
2016-05-26Update required OCaml version in configure.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:06:15 +0000