aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)Author
2020-11-20Configure default value of -native-compilerPierre Roux
2020-09-09dune: pass -bin-annot to configureGaëtan Gilbert
2020-08-18Avoid running configure when plugins/ modifiedGaëtan Gilbert
2020-04-26Implement a name-based representation for vo files.Pierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-03[dune] Fix bug in auto-configure deps.Emilio Jesus Gallego Arias
2019-12-07[configure] [dune] Fix configure under Dune in 32bit builds.Emilio Jesus Gallego Arias
2019-11-11Have only one dune rule calling configurePierre Roux
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-11[dune] [test-suite] Support for running the test suite with Dune.Emilio Jesus Gallego Arias
2018-10-01[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-09-27[configure] [dune] Don't force the Dune user to set envars.Emilio Jesus Gallego Arias
2018-09-21[dune] [configure] Allow to set prefix using environment variable.Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-14Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-02[kernel] Patch allowing to disable VM reduction.Emilio Jesus Gallego Arias
2017-10-11Remove GeoProof support.Maxime Dénès
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-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
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-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-09-29fix bug 3683 : adds references to the web site for the bug trackerYves Bertot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-01-12Update headers.Maxime Dénès
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2013-08-22Misc changes around coqtop.ml :letouzey
2013-02-24New -no-native-compiler flag for configure, globally disabling the nativemdenes
2012-10-05Repair the configure after Hugo's last "repair" ;-)letouzey
2012-08-08Updating headers.herbelin
2012-05-23configure: add support of MinGW Win32 environment (fix #2526)letouzey
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2011-12-18./configure & freedesktoppboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:15:36 +0000