aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2008-02-28Coq_makefile: correction de l'appel aux exécutables Ocamlnotin
2008-02-14Plongement de doc/Makefile dans la nouvelle architecutre des Makefilenotin
2008-02-13Implement KEEP_ML4_PREPROCESSED option in build systemlmamane
2008-02-13Implement NO_RECALC_DEPS option in build systemlmamane
2008-01-11Amélioration de la génération des graphes de dépendancesnotin
2007-12-13migration of ide/utf8.v to theories/Unicode/Utf8.vletouzey
2007-11-12Correction du bug #1741notin
2007-10-18Intallation des .cma/.cmxanotin
2007-10-18Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (po...notin
2007-10-11Allow a few build system optimisations/corner-cuttinglmamane
2007-10-08Calcul des dependances sous Windowsnotin
2007-10-05Correction du bug #1715notin
2007-10-04Ajout option -lablgtkdir au configure (basé sur patch de Guillaumeherbelin
2007-10-03Compilation sous windowsnotin
2007-10-02Preventing gcc to generate dependencies wrt OCaml files (otherwise, we run in...notin
2007-09-15* Adding compability with ocaml 3.10 + camlp5 (rework of letouzey
2007-07-18Makefile: Revert r10015, which was based on a misunderstandinglmamane
2007-07-18Makefile: needs GNU Make 3.81lmamane
2007-07-18Makefile: more robustness all aroundlmamane
2007-07-17Makefile: Do _not_ delete dummy .ml files of .ml4 files even when not needed ...lmamane
2007-07-16Makefile: -MG doesn't (and can't) do what is necessarylmamane
2007-07-16A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemlmamane
2007-07-16Oups... empty .ml4.d files producedlmamane
2007-07-16CAMLP4DEPS will not work for .byteml and .optmllmamane
2007-07-16Generalized CAMLP4USE for pp dependenciescorbinea
2007-07-16Makefile: work around gcc bug: lhs of make rule created by -MM does not inclu...lmamane
2007-07-16Makefile: in C, .d files need to depend on the same as the .o filelmamane
2007-07-16makefile: dependencies of .c files: assume missing headers are generated fileslmamane
2007-07-15Makefile: use CFLAGS for dependency generation of .c fileslmamane
2007-07-13A emacs-specific comment to use makefile-mode on Makefile.*letouzey
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 04:56:24 +0000