aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
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
2009-01-10Another problem with blanks in filenamesherbelin
2009-01-10- Fixed the recompilation of config/revision.ml once every two conmpilations.herbelin
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2009-01-06Report de la révision 11754 (compilation sous windows)notin
2008-12-29compatibility with lablgtk2 version 2.12bertot
2008-12-26- Suppression date dans configure du trunkherbelin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-16Take advantage of natdynlink when available: almost all contribs become loada...letouzey
2008-12-12- configure: do not strip coqtop on Darwin so as to support dynamic loadingherbelin
2008-11-14Amélioration du README.doc et de l'installation de la docnotin
2008-10-28Native "Declare ML Module" when possibleglondu
2008-10-21More OCaml-3.11-friendly configure scriptglondu
2008-09-06Install dllcoqrun.so and use it by defaultglondu
2008-09-06Create the bin/ directory if non-existentglondu
2008-09-06Always use environment variablesglondu
2008-09-05Parametrize link flags for VM-dependent bytecodeglondu
2008-09-05Build coqrun library using ocamlmklib...glondu
2008-08-18Revert commit 11326, to see if it is what makes bench failglondu
2008-08-16Mind environment variables in (generated) coq_config.mlglondu
2008-07-27Add -browser option to configure scriptglondu
2008-07-24moved magic numbers to configure (share coq/coqchk)barras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:00:14 +0000