aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
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
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-17- configure: affiche si le natdynlink est positionnebarras
2009-03-11Cleanup: remove unused config/giveostype.mlletouzey
2009-03-11Cleanup: remove old correctness files, unused for a long timeletouzey
2009-02-11Gestion des espaces dans les noms + guess_coqlib sous Windowsnotin
2009-02-11Fix d'un petit problème de chemin sous Windowsnotin
2009-02-11Fix de divers petits problèmes d'installationnotin
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-02-11Add -coqtoolsbyteflags and -custom to ./configure...glondu
2009-01-22configure: more adequate message explaining what -opt is doingletouzey
2009-01-22Fix d'un petit problème avec ocamlmklib en présence de l'option -camldirnotin
2009-01-13Updated datesherbelin
2009-01-13Workaround to compile the coq archive with dynamic loading on Mac OS 10.5herbelin
2009-01-11- Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:46 +0000