aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Fixed installation of Coqide interface/library files (bug #2147).Gravatar gmelquio2009-10-06
* Added profile.cmo in grammar.cma so that any functions in one of theGravatar herbelin2009-08-14
* csdpcert + unixGravatar fbesson2009-08-01
* Makefile made compatible with Solaris 10 (bug #2078, continued - seeGravatar herbelin2009-06-06
* Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchGravatar herbelin2009-04-08
* Complementary fix to have ocamlopt_shared_os5fix.sh working correctlyGravatar herbelin2009-03-31
* Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo)Gravatar letouzey2009-03-30
* ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)Gravatar letouzey2009-03-29
* bin/coq-{parser,interface}: use this coqtop, not the first in $PATHGravatar lmamane2009-03-26
* make coqdep_boot in stage1, not stage2Gravatar lmamane2009-03-25
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Makefile: avoid $(ML4FILES:.ml4=.ml) since this is $(ML4FILESML)Gravatar letouzey2009-03-20
* Compatibility with Apple's non-gnu sed.Gravatar msozeau2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* renamed %-mod.ml into %_mod.ml to avoid ocaml warningGravatar barras2009-03-18
* - configure: affiche si le natdynlink est positionneGravatar barras2009-03-17
* coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...Gravatar letouzey2009-03-16
* Makefile: fix ignored errors, several attempts to clarify thingsGravatar letouzey2009-03-16
* Makefile: minor improvementsGravatar letouzey2009-03-16
* Better mechanism for loading initial pluginsGravatar letouzey2009-03-14
* Makefile: ml dependencies of contribs are moved to .mllib filesGravatar letouzey2009-03-14
* Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module nameGravatar letouzey2009-03-11
* in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re...Gravatar barras2009-03-09
* fixed groebner as a plugin + pattern matching TimeoutGravatar barras2009-03-06
* ajout de la tactique groebner de Loic PottierGravatar barras2009-03-05
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkGravatar letouzey2009-02-20
* report de r11926: install de coqchkGravatar barras2009-02-16
* Backport of 11890 from branch v8.2 (compile tools with the bestGravatar herbelin2009-02-11
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Add -coqtoolsbyteflags and -custom to ./configure...Gravatar glondu2009-02-11
* config/revision.ml, git: handle case when not at tip of a branchGravatar lmamane2009-02-11
* Convert all uses of FIND_VCS_CLAUSE to recommended styleGravatar lmamane2009-02-11
* Fix the installation of plugins (both initial and late ones)Gravatar letouzey2009-02-03
* Remplacement de cp --parents par un script shGravatar notin2009-01-22
* - Fixing bug 1891 (abusive instantiations of evar arguments inGravatar herbelin2009-01-20
* Cette version là fonctionne correctement au moins pour certaines Gravatar aspiwack2009-01-20
* More fixes... Gravatar aspiwack2009-01-20
* Un fix sur le commit précédent. Gravatar aspiwack2009-01-20
* Patch de l'installation:Gravatar aspiwack2009-01-20
* Workaround to compile the coq archive with dynamic loading on Mac OS 10.5Gravatar herbelin2009-01-13
* - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).Gravatar herbelin2009-01-11
* - Fixed the recompilation of config/revision.ml once every two conmpilations.Gravatar herbelin2009-01-10
* Fix build for git usersGravatar glondu2009-01-07
* Suite de la révision #11756Gravatar notin2009-01-07
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Installation des librairies: on utilise maintenant LINKCMO au lieu deGravatar notin2009-01-06
* Moved JProver to a user contribution (as was decided a long time ago)Gravatar herbelin2009-01-04
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24