aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
AgeCommit message (Expand)Author
2020-11-20Configure default value of -native-compilerPierre Roux
2020-11-18[configure] check that zarith dev files are availableEnrico Tassi
2020-09-22Merge PR #13049: [configure] Fix version checks for lablgtk and zarithcoqbot-app[bot]
2020-09-17[configure] Fix version checks for lablgtk and zarithEmilio Jesus Gallego Arias
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-08-29Fix configure check for zarithGaëtan Gilbert
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-18Avoid running configure when plugins/ modifiedGaëtan Gilbert
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-05-18Update to 8.13.Théo Zimmermann
2020-04-30Less confusing configure message when lablgtk exists but not lablgtksourceview.Hugo Herbelin
2020-04-26Implement a name-based representation for vo files.Pierre-Marie Pédrot
2020-04-12Fixing export of CAML_LD_LIBRARY_PATH from config/Makefile to Makefile.common.Hugo Herbelin
2020-03-29[configure] Disable warning 67 which seems 100% bogusEmilio Jesus Gallego Arias
2020-03-27[configure] Remove `-std=c99` from default C flagsEmilio Jesus Gallego Arias
2020-02-28Fixed some escaping problems with arguments containing spaces in IDE's Compil...Ike Mulder
2020-01-21More portable C flagsPierre Roux
2019-12-02Allow to override build date with SOURCE_DATE_EPOCHBernhard M. Wiedemann
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-11-26Fix Windows 32 bit buildPierre Roux
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-11Have only one dune rule calling configurePierre Roux
2019-11-01Communicate CFLAGS to dunePierre Roux
2019-11-01Add a check for gradual underflowsPierre Roux
2019-11-01feat: Use SSE2_MATH if available & Die if missing on x87Erik Martin-Dorel
2019-11-01Make primitive float work on x86_32Pierre Roux
2019-11-01Add primitive floats to 'vm_compute'Guillaume Bertholon
2019-10-18Adding a test for votour.Pierre-Marie Pédrot
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-09-10Indentation in configure.ml.Hugo Herbelin
2019-08-24Simplify picking between uint63_63.ml and uint63_31.mlGaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:21:59 +0000