aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
...
* Makefile: minor improvementsGravatar letouzey2009-03-16
* Better mechanism for loading initial pluginsGravatar letouzey2009-03-14
* Makefile: ml dependencies of contribs are moved to .mllib filesGravatar letouzey2009-03-14
* Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module nameGravatar letouzey2009-03-11
* in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re...Gravatar barras2009-03-09
* fixed groebner as a plugin + pattern matching TimeoutGravatar barras2009-03-06
* ajout de la tactique groebner de Loic PottierGravatar barras2009-03-05
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkGravatar letouzey2009-02-20
* report de r11926: install de coqchkGravatar barras2009-02-16
* Backport of 11890 from branch v8.2 (compile tools with the bestGravatar herbelin2009-02-11
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Add -coqtoolsbyteflags and -custom to ./configure...Gravatar glondu2009-02-11
* config/revision.ml, git: handle case when not at tip of a branchGravatar lmamane2009-02-11
* Convert all uses of FIND_VCS_CLAUSE to recommended styleGravatar lmamane2009-02-11
* Fix the installation of plugins (both initial and late ones)Gravatar letouzey2009-02-03
* Remplacement de cp --parents par un script shGravatar notin2009-01-22
* - Fixing bug 1891 (abusive instantiations of evar arguments inGravatar herbelin2009-01-20
* Cette version là fonctionne correctement au moins pour certaines Gravatar aspiwack2009-01-20
* More fixes... Gravatar aspiwack2009-01-20
* Un fix sur le commit précédent. Gravatar aspiwack2009-01-20
* Patch de l'installation:Gravatar aspiwack2009-01-20
* Workaround to compile the coq archive with dynamic loading on Mac OS 10.5Gravatar herbelin2009-01-13
* - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).Gravatar herbelin2009-01-11
* - Fixed the recompilation of config/revision.ml once every two conmpilations.Gravatar herbelin2009-01-10
* Fix build for git usersGravatar glondu2009-01-07
* Suite de la révision #11756Gravatar notin2009-01-07
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Installation des librairies: on utilise maintenant LINKCMO au lieu deGravatar notin2009-01-06
* Moved JProver to a user contribution (as was decided a long time ago)Gravatar herbelin2009-01-04
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Typo in Makefile leading to empty quote_plugin.cmaGravatar letouzey2008-12-22
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Maintenant on scan les .ml pour les .dot/.dep.ps (fait avec Matthias). Gravatar aspiwack2008-12-18
* Ajout des fichiers de lib/ dans les dépendences générées par make Gravatar aspiwack2008-12-18
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* do not install coqchk cmi filesGravatar barras2008-12-11
* Add implicit rules for native plugins (.cmxs)Gravatar glondu2008-11-19
* Makefile.build: an OPTFLAGS behind a bytecode ocamlc (which refuses -p)Gravatar letouzey2008-11-10
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Suppression de la dépendance de install-doc envers doc :Gravatar notin2008-10-17
* Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itGravatar glondu2008-09-07
* Do not install csdpcert in $(BINDIR)Gravatar glondu2008-09-07
* Add some calls to $(STRIP) for consistencyGravatar glondu2008-09-07
* $(DLLCOQRUN) is not an executableGravatar glondu2008-09-07
* Install dllcoqrun.so and use it by defaultGravatar glondu2008-09-06
* $(COQLIB) -> $(COQLIBINSTALL) in MakefilesGravatar glondu2008-09-06
* Use $(COQTOPEXE) to refer to bin/coqtop in MakefilesGravatar glondu2008-09-06
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05