aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2009-03-26bin/coq-{parser,interface}: use this coqtop, not the first in $PATHlmamane
2009-03-25make coqdep_boot in stage1, not stage2lmamane
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
2009-03-20Makefile: avoid $(ML4FILES:.ml4=.ml) since this is $(ML4FILESML)letouzey
2009-03-20Compatibility with Apple's non-gnu sed.msozeau
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-18renamed %-mod.ml into %_mod.ml to avoid ocaml warningbarras
2009-03-17- configure: affiche si le natdynlink est positionnebarras
2009-03-16coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...letouzey
2009-03-16Makefile: fix ignored errors, several attempts to clarify thingsletouzey
2009-03-16Makefile: minor improvementsletouzey
2009-03-14Better mechanism for loading initial pluginsletouzey
2009-03-14Makefile: ml dependencies of contribs are moved to .mllib filesletouzey
2009-03-11Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module nameletouzey
2009-03-09in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re...barras
2009-03-06fixed groebner as a plugin + pattern matching Timeoutbarras
2009-03-05ajout de la tactique groebner de Loic Pottierbarras
2009-03-02porting r11900 11905 and 11953 to trunkbarras
2009-02-20coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkletouzey
2009-02-16report de r11926: install de coqchkbarras
2009-02-11Backport of 11890 from branch v8.2 (compile tools with the bestherbelin
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-02-11config/revision.ml, git: handle case when not at tip of a branchlmamane
2009-02-11Convert all uses of FIND_VCS_CLAUSE to recommended stylelmamane
2009-02-03Fix the installation of plugins (both initial and late ones)letouzey
2009-01-22Remplacement de cp --parents par un script shnotin
2009-01-20- Fixing bug 1891 (abusive instantiations of evar arguments inherbelin
2009-01-20Cette version là fonctionne correctement au moins pour certaines aspiwack
2009-01-20More fixes... aspiwack
2009-01-20Un fix sur le commit précédent. aspiwack
2009-01-20Patch de l'installation:aspiwack
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-10- Fixed the recompilation of config/revision.ml once every two conmpilations.herbelin
2009-01-07Fix build for git usersglondu
2009-01-07Suite de la révision #11756notin
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2009-01-06Installation des librairies: on utilise maintenant LINKCMO au lieu denotin
2009-01-04Moved JProver to a user contribution (as was decided a long time ago)herbelin
2008-12-24- coq_makefile: target install now respects the original tree structureherbelin
2008-12-22Typo in Makefile leading to empty quote_plugin.cmaletouzey
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-18Maintenant on scan les .ml pour les .dot/.dep.ps (fait avec Matthias). aspiwack
2008-12-18Ajout des fichiers de lib/ dans les dépendences générées par make aspiwack
2008-12-16Take advantage of natdynlink when available: almost all contribs become loada...letouzey
2008-12-11do not install coqchk cmi filesbarras
2008-11-19Add implicit rules for native plugins (.cmxs)glondu
2008-11-10Makefile.build: an OPTFLAGS behind a bytecode ocamlc (which refuses -p)letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 22:00:52 +0000