aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Suppression de la dépendance de install-doc envers doc :Gravatar notin2008-10-17
* Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itGravatar glondu2008-09-07
* Do not install csdpcert in $(BINDIR)Gravatar glondu2008-09-07
* Add some calls to $(STRIP) for consistencyGravatar glondu2008-09-07
* $(DLLCOQRUN) is not an executableGravatar glondu2008-09-07
* Install dllcoqrun.so and use it by defaultGravatar glondu2008-09-06
* $(COQLIB) -> $(COQLIBINSTALL) in MakefilesGravatar glondu2008-09-06
* Use $(COQTOPEXE) to refer to bin/coqtop in MakefilesGravatar glondu2008-09-06
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* Build coqrun library using ocamlmklib...Gravatar glondu2008-09-05
* Rely on ocamlc to call the C compiler...Gravatar glondu2008-09-04
* added Makefile target: validate (to recheck all .vo in a row)Gravatar barras2008-09-02
* Typo (corrige le bug #1928)Gravatar notin2008-08-22
* Renaming parser -> coq-parserGravatar glondu2008-08-18
* Install csdpcert with librariesGravatar glondu2008-08-16
* Fix build/install failures when ocamlopt is not availableGravatar glondu2008-08-16
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Use COQINSTALLPREFIX for doc tooGravatar glondu2008-07-28
* Remove pcoq from check prerequisitesGravatar glondu2008-07-28
* Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...Gravatar notin2008-07-16
* Ajout d'une option pour contrôler l'installation automatique de la documenta...Gravatar notin2008-07-16
* Installation de la documentationGravatar notin2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Remplacement des 'cp' et 'mkdir' par 'install'Gravatar notin2008-06-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 20:23:21 +0000