index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.build
Commit message (
Expand
)
Author
Age
*
Remplacement de cp --parents par un script sh
notin
2009-01-22
*
- Fixing bug 1891 (abusive instantiations of evar arguments in
herbelin
2009-01-20
*
Cette version là fonctionne correctement au moins pour certaines
aspiwack
2009-01-20
*
More fixes...
aspiwack
2009-01-20
*
Un fix sur le commit précédent.
aspiwack
2009-01-20
*
Patch de l'installation:
aspiwack
2009-01-20
*
Workaround to compile the coq archive with dynamic loading on Mac OS 10.5
herbelin
2009-01-13
*
- Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).
herbelin
2009-01-11
*
- Fixed the recompilation of config/revision.ml once every two conmpilations.
herbelin
2009-01-10
*
Fix build for git users
glondu
2009-01-07
*
Suite de la révision #11756
notin
2009-01-07
*
Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...
notin
2009-01-06
*
Installation des librairies: on utilise maintenant LINKCMO au lieu de
notin
2009-01-06
*
Moved JProver to a user contribution (as was decided a long time ago)
herbelin
2009-01-04
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Typo in Makefile leading to empty quote_plugin.cma
letouzey
2008-12-22
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Maintenant on scan les .ml pour les .dot/.dep.ps (fait avec Matthias).
aspiwack
2008-12-18
*
Ajout des fichiers de lib/ dans les dépendences générées par make
aspiwack
2008-12-18
*
Take advantage of natdynlink when available: almost all contribs become loada...
letouzey
2008-12-16
*
do not install coqchk cmi files
barras
2008-12-11
*
Add implicit rules for native plugins (.cmxs)
glondu
2008-11-19
*
Makefile.build: an OPTFLAGS behind a bytecode ocamlc (which refuses -p)
letouzey
2008-11-10
*
Native "Declare ML Module" when possible
glondu
2008-10-28
*
Suppression de la dépendance de install-doc envers doc :
notin
2008-10-17
*
Generalize usage of $(FIND_VCS_CLAUSE) and add debian to it
glondu
2008-09-07
*
Do not install csdpcert in $(BINDIR)
glondu
2008-09-07
*
Add some calls to $(STRIP) for consistency
glondu
2008-09-07
*
$(DLLCOQRUN) is not an executable
glondu
2008-09-07
*
Install dllcoqrun.so and use it by default
glondu
2008-09-06
*
$(COQLIB) -> $(COQLIBINSTALL) in Makefiles
glondu
2008-09-06
*
Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles
glondu
2008-09-06
*
Parametrize link flags for VM-dependent bytecode
glondu
2008-09-05
*
Build coqrun library using ocamlmklib...
glondu
2008-09-05
*
Rely on ocamlc to call the C compiler...
glondu
2008-09-04
*
added Makefile target: validate (to recheck all .vo in a row)
barras
2008-09-02
*
Typo (corrige le bug #1928)
notin
2008-08-22
*
Renaming parser -> coq-parser
glondu
2008-08-18
*
Install csdpcert with libraries
glondu
2008-08-16
*
Fix build/install failures when ocamlopt is not available
glondu
2008-08-16
*
Évolutions diverses et variées.
herbelin
2008-08-04
*
Use COQINSTALLPREFIX for doc too
glondu
2008-07-28
*
Remove pcoq from check prerequisites
glondu
2008-07-28
*
Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...
notin
2008-07-16
*
Ajout d'une option pour contrôler l'installation automatique de la documenta...
notin
2008-07-16
*
Installation de la documentation
notin
2008-06-25
*
Suppression de l'option -dump-glob et ajout d'une option -no-glob
notin
2008-06-24
*
Remplacement des 'cp' et 'mkdir' par 'install'
notin
2008-06-12
*
2-3 petites modifs pour la compilation sous Windows...
notin
2008-06-06
*
Copie des .cmi en plus des .cma et des .cmxa
notin
2008-06-06
[next]