aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
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
2008-10-28Native "Declare ML Module" when possibleglondu
2008-10-17Suppression de la dépendance de install-doc envers doc :notin
2008-09-07Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itglondu
2008-09-07Do not install csdpcert in $(BINDIR)glondu
2008-09-07Add some calls to $(STRIP) for consistencyglondu
2008-09-07$(DLLCOQRUN) is not an executableglondu
2008-09-06Install dllcoqrun.so and use it by defaultglondu
2008-09-06$(COQLIB) -> $(COQLIBINSTALL) in Makefilesglondu
2008-09-06Use $(COQTOPEXE) to refer to bin/coqtop in Makefilesglondu
2008-09-05Parametrize link flags for VM-dependent bytecodeglondu
2008-09-05Build coqrun library using ocamlmklib...glondu
2008-09-04Rely on ocamlc to call the C compiler...glondu
2008-09-02added Makefile target: validate (to recheck all .vo in a row)barras
2008-08-22Typo (corrige le bug #1928)notin
2008-08-18Renaming parser -> coq-parserglondu
2008-08-16Install csdpcert with librariesglondu
2008-08-16Fix build/install failures when ocamlopt is not availableglondu
2008-08-04Évolutions diverses et variées.herbelin
2008-07-28Use COQINSTALLPREFIX for doc tooglondu
2008-07-28Remove pcoq from check prerequisitesglondu
2008-07-16Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...notin
2008-07-16Ajout d'une option pour contrôler l'installation automatique de la documenta...notin
2008-06-25Installation de la documentationnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 21:56:12 +0000