aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
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
2010-07-05Turned off Mac dynlink hack for 10.6.3+ on x86_64thutchin
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-11Look for csdp in $PATH at runtime, remove -csdpdir configure optionglondu
2010-04-05Fix configure script: natdynlink works without a hack on 10.6.3.msozeau
2010-03-08Application des patches envoyés par F. Besson pour micromeganotin
2010-02-25Enabled natdynlink hack on Mac OS 10.6thutchin
2010-02-18Polishing the setup of CoqIDE Input Methodvgross
2010-01-28Remove bashismsglondu
2010-01-26Add -makecmd configure optionglondu
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-11-05Changement de la version minimale requise de OCaml (3.07 => 3.09.3).notin
2009-11-05Correction du bug #2142notin
2009-09-28Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.gmelquio
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-04-08Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchherbelin
2009-04-03Ocamlbuild: option for (not) building coqide, better log messagesletouzey
2009-04-03Ocamlbuild: improvements suggested by N. Pouillardletouzey
2009-03-22Backport from v8.2 branch of 11986 (interpretation of quantifiedherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 09:50:02 +0000