aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
...
* Coq_makefile: correction de l'appel aux exécutables OcamlGravatar notin2008-02-28
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Implement KEEP_ML4_PREPROCESSED option in build systemGravatar lmamane2008-02-13
* Implement NO_RECALC_DEPS option in build systemGravatar lmamane2008-02-13
* Amélioration de la génération des graphes de dépendancesGravatar notin2008-01-11
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Correction du bug #1741Gravatar notin2007-11-12
* Intallation des .cma/.cmxaGravatar notin2007-10-18
* Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (po...Gravatar notin2007-10-18
* Allow a few build system optimisations/corner-cuttingGravatar lmamane2007-10-11
* Calcul des dependances sous WindowsGravatar notin2007-10-08
* Correction du bug #1715Gravatar notin2007-10-05
* Ajout option -lablgtkdir au configure (basé sur patch de GuillaumeGravatar herbelin2007-10-04
* Compilation sous windowsGravatar notin2007-10-03
* Preventing gcc to generate dependencies wrt OCaml files (otherwise, we run in...Gravatar notin2007-10-02
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Makefile: Revert r10015, which was based on a misunderstandingGravatar lmamane2007-07-18
* Makefile: needs GNU Make 3.81Gravatar lmamane2007-07-18
* Makefile: more robustness all aroundGravatar lmamane2007-07-18
* Makefile: Do _not_ delete dummy .ml files of .ml4 files even when not needed ...Gravatar lmamane2007-07-17
* Makefile: -MG doesn't (and can't) do what is necessaryGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* Oups... empty .ml4.d files producedGravatar lmamane2007-07-16
* CAMLP4DEPS will not work for .byteml and .optmlGravatar lmamane2007-07-16
* Generalized CAMLP4USE for pp dependenciesGravatar corbinea2007-07-16
* Makefile: work around gcc bug: lhs of make rule created by -MM does not inclu...Gravatar lmamane2007-07-16
* Makefile: in C, .d files need to depend on the same as the .o fileGravatar lmamane2007-07-16
* makefile: dependencies of .c files: assume missing headers are generated filesGravatar lmamane2007-07-16
* Makefile: use CFLAGS for dependency generation of .c filesGravatar lmamane2007-07-15
* A emacs-specific comment to use makefile-mode on Makefile.*Gravatar letouzey2007-07-13
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 07:42:00 +0000