aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
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
2011-10-12Patch to support (a priori) all versions of make 3.xx >= 3.81herbelin
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-07-07default install location under cygwin is the unix defaultpboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-11Coqide now need lablgtk2.14.0pboutill
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-04-08Macos integration step2 : shutdownpboutill
2011-01-25Fix compilation with camlp5 (Closes: #2487)glondu
2011-01-07MacOS integrationpboutill
2011-01-06Remove fake alpha-specific case in configureglondu
2010-10-16Support for GNU Make 3.82glondu
2010-10-07TeX input method is now supported upstreamvgross
2010-09-06Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...emakarov
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 22:44:25 +0000