aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)Author
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
2011-04-28coqtop -config returns coq returns coq environments at exection timepboutill
2011-04-21Coqide: a special kill function for win32letouzey
2011-01-07MacOS integrationpboutill
2010-10-07TeX input method is now supported upstreamvgross
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-11Look for csdp in $PATH at runtime, remove -csdpdir configure optionglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:20:33 +0000