aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
2017-06-23Merge PR#729: Fixing an inconsistency between configure and configure.mlMaxime Dénès
2017-06-04configure: avoid deprecated warningsPierre Letouzey
2017-06-04Fixing an inconsistency between configure and configure.ml.Hugo Herbelin
2013-12-20configure.ml: our configure script is now written in ML :-)Pierre Letouzey
2013-12-17Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4ePierre Boutillier
2013-11-23configure: typo in my last commitPierre Letouzey
2013-11-22configure: improve last fixPierre Letouzey
2013-11-21configure: CAML_LD_LIBRARY_PATH is enriched, not overwrittenPierre Letouzey
2013-11-21configure: fix some issues with last commitPierre Letouzey
2013-11-21Fix various \r issues with windowsJason Gross
2013-11-03Asks camlp5 binary in path its locationpboutill
2013-11-03configure stript allows make v4.00pboutill
2013-09-02* configure: Remove trailing space.regisgia
2013-08-22Misc changes around coqtop.ml :letouzey
2013-08-22Change in vo format : digest aren't Marshalled anymoreletouzey
2013-02-24New -no-native-compiler flag for configure, globally disabling the nativemdenes
2013-01-22Revert "remove -rectypes except for term.ml"mdenes
2012-11-12Add an option -nodoc to configure, same (but shorter) than -with-doc noletouzey
2012-10-17Cygwin gcc do not accept -mno-cygwin anymorepboutill
2012-10-17Taking into account that ocamlfind might find a package w/o the filesherbelin
2012-10-06Turn mltop.ml4 into a regular ocaml fileletouzey
2012-10-06remove -rectypes except for term.mlletouzey
2012-10-05Repair the configure after Hugo's last "repair" ;-)letouzey
2012-10-04Repaired configure damaged in r15748 for those bash users which haveherbelin
2012-10-04Suggest to use clean rather than archclean before recompiling.herbelin
2012-09-17MacOS integration uses lablgtkosx >= 1.1pboutill
2012-09-05A few fixes in configure file:herbelin
2012-08-23No need anymore to refer to COQLIB in ocamldebug-coqletouzey
2012-08-23Configure + Makefile : simplification when -localletouzey
2012-08-23configure: get rid of the -src option and of ${COQSRC}letouzey
2012-08-23configure: no more need for ocamlmktopletouzey
2012-08-23Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)letouzey
2012-08-23Port from 8.4 branch some build fixes concerning win32 :letouzey
2012-08-10Bug 2861 : ocamlopt but no lablgtk2.cmxa problempboutill
2012-08-07configure: two minor fixes for win32letouzey
2012-07-12Coq should compile with Ocaml4 and/or lablgtk installed with ocamlfindpboutill
2012-05-23configure: camlp4 is now tried when camlp5 isn't foundletouzey
2012-05-23configure: add support of MinGW Win32 environment (fix #2526)letouzey
2012-05-16Coqide: make some paths win32-compliantletouzey
2012-05-15Makefile: Really avoid locales in $(DATE)letouzey
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Coqide MacOS integration refreshpboutill
2012-04-13Browser documentation & CharSet under Windowspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-02-20- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...notin
2012-01-16Bug 2676: ./configure --prefix shoudn't ask for a config directory.pboutill
2011-12-23Configure: the backslashes in win32 paths should be escapedletouzey
2011-12-18./configure & freedesktoppboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:50:25 +0000