aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2008-12-11do not install coqchk cmi filesbarras
2008-11-19Add implicit rules for native plugins (.cmxs)glondu
2008-11-10Makefile.build: an OPTFLAGS behind a bytecode ocamlc (which refuses -p)letouzey
2008-10-28Native "Declare ML Module" when possibleglondu
2008-10-17Suppression de la dépendance de install-doc envers doc :notin
2008-09-07Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itglondu
2008-09-07Do not install csdpcert in $(BINDIR)glondu
2008-09-07Add some calls to $(STRIP) for consistencyglondu
2008-09-07$(DLLCOQRUN) is not an executableglondu
2008-09-06Install dllcoqrun.so and use it by defaultglondu
2008-09-06$(COQLIB) -> $(COQLIBINSTALL) in Makefilesglondu
2008-09-06Use $(COQTOPEXE) to refer to bin/coqtop in Makefilesglondu
2008-09-05Parametrize link flags for VM-dependent bytecodeglondu
2008-09-05Build coqrun library using ocamlmklib...glondu
2008-09-04Rely on ocamlc to call the C compiler...glondu
2008-09-02added Makefile target: validate (to recheck all .vo in a row)barras
2008-08-22Typo (corrige le bug #1928)notin
2008-08-18Renaming parser -> coq-parserglondu
2008-08-16Install csdpcert with librariesglondu
2008-08-16Fix build/install failures when ocamlopt is not availableglondu
2008-08-04Évolutions diverses et variées.herbelin
2008-07-28Use COQINSTALLPREFIX for doc tooglondu
2008-07-28Remove pcoq from check prerequisitesglondu
2008-07-16Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...notin
2008-07-16Ajout d'une option pour contrôler l'installation automatique de la documenta...notin
2008-06-25Installation de la documentationnotin
2008-06-24Suppression de l'option -dump-glob et ajout d'une option -no-globnotin
2008-06-12Remplacement des 'cp' et 'mkdir' par 'install'notin
2008-06-062-3 petites modifs pour la compilation sous Windows...notin
2008-06-06Copie des .cmi en plus des .cma et des .cmxanotin
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-06-02Petites corrections diverses :herbelin
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2008-05-31Fix last commit about revision: I'm unsure about the role of "set -e", letouzey
2008-05-31Attempt to avoid killing+recreating the file revision with same content.letouzey
2008-05-26the -g option is not recongnized in ocaml < 3.10.0jforest
2008-05-22fixed dependency problems with the checkerbarras
2008-05-22improved coqchk targetsbarras
2008-05-22added coqchk to the main Makefile and a make variable VALIDATE to check the v...barras
2008-05-20Corrections d'erreurs rapportées par Frédéric Besson sur le précédentherbelin
2008-05-19Intégration de micromega ("omicron" pour fourier et sa variante sur Z,herbelin
2008-05-19Fix caml debug flags configuration, -g works with the native compiler onlymsozeau
2008-05-17Fix a de Bruijn bug in setoid_rewrite when rewriting undermsozeau
2008-05-08Integration of theories/Ints into theories/Numbers, again : better generation...letouzey
2008-05-08Integration of theories/Ints into theories/Numbers, part 3: auto-generation o...letouzey
2008-05-07Integration of theories/Ints into theories/Numbers, part 1: moving filesletouzey
2008-04-29Calcul plus robuste du numéro de révision (ne marche en positionnantherbelin
2008-04-29Correction d'un bug dans coq_makefile: génération des règles implicites en...notin
2008-04-28reparation bug de compil introduit au precedent commitjforest
2008-04-16first-order --> firstorder (kills a warning about not being a valid id)letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 04:51:15 +0000