aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 2-3 petites modifs pour la compilation sous Windows...Gravatar notin2008-06-06
* Copie des .cmi en plus des .cma et des .cmxaGravatar notin2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* Petites corrections diverses :Gravatar herbelin2008-06-02
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* Fix last commit about revision: I'm unsure about the role of "set -e", Gravatar letouzey2008-05-31
* Attempt to avoid killing+recreating the file revision with same content.Gravatar letouzey2008-05-31
* the -g option is not recongnized in ocaml < 3.10.0Gravatar jforest2008-05-26
* fixed dependency problems with the checkerGravatar barras2008-05-22
* improved coqchk targetsGravatar barras2008-05-22
* added coqchk to the main Makefile and a make variable VALIDATE to check the v...Gravatar barras2008-05-22
* Corrections d'erreurs rapportées par Frédéric Besson sur le précédentGravatar herbelin2008-05-20
* Intégration de micromega ("omicron" pour fourier et sa variante sur Z,Gravatar herbelin2008-05-19
* Fix caml debug flags configuration, -g works with the native compiler onlyGravatar msozeau2008-05-19
* Fix a de Bruijn bug in setoid_rewrite when rewriting underGravatar msozeau2008-05-17
* Integration of theories/Ints into theories/Numbers, again : better generation...Gravatar letouzey2008-05-08
* Integration of theories/Ints into theories/Numbers, part 3: auto-generation o...Gravatar letouzey2008-05-08
* Integration of theories/Ints into theories/Numbers, part 1: moving filesGravatar letouzey2008-05-07
* Calcul plus robuste du numéro de révision (ne marche en positionnantGravatar herbelin2008-04-29
* Correction d'un bug dans coq_makefile: génération des règles implicites en...Gravatar notin2008-04-29
* reparation bug de compil introduit au precedent commitGravatar jforest2008-04-28
* first-order --> firstorder (kills a warning about not being a valid id)Gravatar letouzey2008-04-16
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* Various improvements of coqdep, resulting in a big speedupGravatar letouzey2008-03-19
* Ajout cible programs comme synonyme de subtacGravatar herbelin2008-03-16
* New option -glob for coqdep, in order to avoid nasty tricks with sed in MakefileGravatar letouzey2008-03-14
* 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