aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
...
* Another problem with blanks in filenamesGravatar herbelin2009-01-10
* - Fixed the recompilation of config/revision.ml once every two conmpilations.Gravatar herbelin2009-01-10
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Report de la révision 11754 (compilation sous windows)Gravatar notin2009-01-06
* compatibility with lablgtk2 version 2.12Gravatar bertot2008-12-29
* - Suppression date dans configure du trunkGravatar herbelin2008-12-26
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* - configure: do not strip coqtop on Darwin so as to support dynamic loadingGravatar herbelin2008-12-12
* Amélioration du README.doc et de l'installation de la docGravatar notin2008-11-14
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* More OCaml-3.11-friendly configure scriptGravatar glondu2008-10-21
* Install dllcoqrun.so and use it by defaultGravatar glondu2008-09-06
* Create the bin/ directory if non-existentGravatar glondu2008-09-06
* Always use environment variablesGravatar glondu2008-09-06
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* Build coqrun library using ocamlmklib...Gravatar glondu2008-09-05
* Revert commit 11326, to see if it is what makes bench failGravatar glondu2008-08-18
* Mind environment variables in (generated) coq_config.mlGravatar glondu2008-08-16
* Add -browser option to configure scriptGravatar glondu2008-07-27
* moved magic numbers to configure (share coq/coqchk)Gravatar barras2008-07-24
* Ajout d'une option pour contrôler l'installation automatique de la documenta...Gravatar notin2008-07-16
* Detection de l'architecture sous Windows (et sans uname -o)Gravatar notin2008-06-18
* Où l'on se débarrasse de uname -oGravatar notin2008-06-18
* Compilation WindowsGravatar notin2008-06-12
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...Gravatar notin2008-06-09
* Petites corrections diverses :Gravatar herbelin2008-06-02
* On cesse de demander une valeur pour l'option reals si l'utilisateurGravatar herbelin2008-06-01
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* Fix caml debug flags configuration, -g works with the native compiler onlyGravatar msozeau2008-05-19
* Fix a de Bruijn bug in setoid_rewrite when rewriting underGravatar msozeau2008-05-17
* Integration of theories/Ints into theories/Numbers, again : better generation...Gravatar letouzey2008-05-08
* Test pour compilation native camlp5Gravatar herbelin2008-04-19
* Test make 3.81Gravatar herbelin2008-04-04
* - Correction d'un bug de coq_makefile sur les variables CAMLLIBS etGravatar notin2008-04-03
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Résolution d'une confusion dans le rôle des variables CAMLP4 et CAMLP4LIB:Gravatar herbelin2008-02-06
* Protection contre l'erreur mentionnée dans le rapport de bug 1790Gravatar herbelin2008-02-06
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Added transitivity and irreflexivity of <, as well as < -elimination for bina...Gravatar emakarov2007-10-16
* Bug variable CAMLP4 qui ne doit pas contenir un chemin mais le type de prepro...Gravatar herbelin2007-10-11
* Verification ocaml >= 3.09.3 pour coq natif sous MacOS X PentiumGravatar herbelin2007-10-09
* Détection de camlp5 5.00 au configureGravatar herbelin2007-10-07
* Ajout de la possibilité de donner le chemin de la bibliothèque camlp5Gravatar herbelin2007-10-07
* petite reparation de la config pour camlp5 apres le commit 10164Gravatar letouzey2007-10-05
* Ajout option -lablgtkdir au configure (basé sur patch de GuillaumeGravatar herbelin2007-10-04
* Compilation sous windowsGravatar notin2007-10-03
* Fix a problem doing 'make clean' under WinodwsGravatar notin2007-10-02
* Report des modifications faites sur le configure en r10039, r10052, r10053 et...Gravatar notin2007-10-02