aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
...
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Run parallelized test-suite in "check" target of main MakefileGravatar glondu2010-04-10
* Makefile.build: (slightly) more robust sed invocation for parsing camlp4deps/...Gravatar letouzey2010-03-18
* Makefile: some more cleanupGravatar letouzey2010-03-05
* Makefile: a nicer hack concerning ocamlopt with no .mli: -intf-suffix .cmi (t...Gravatar letouzey2010-03-04
* Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...Gravatar letouzey2010-03-04
* Makefile: no more separate stagesGravatar letouzey2010-03-04
* Makefile: try to avoid rare make failures related with make -j + ocamlopt + .cmiGravatar letouzey2010-03-04
* Makefile: cleanup of variables containing lists of files, such as MLFILESGravatar letouzey2010-03-04
* Makefile: factorization of default rules for .cmi/.cmo/.cmxGravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Makefile: hide the trick ...||(RV=$$?;rm $@; exit $${RV}) under a macro $(TOT...Gravatar letouzey2010-03-04
* In the git-specific part of Makefile.build, call to hostname gave optionGravatar thutchin2010-02-25
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Makefile.build: avoid warning about undefined variable during make installGravatar letouzey2010-02-16
* Makefile: also install the .cmi of pluginsGravatar letouzey2010-02-16
* make init + NMake.v/NMake_gen.vGravatar notin2010-01-26
* NMake: several things need not be macro-generatedGravatar letouzey2010-01-25
* Disable validateGravatar glondu2010-01-14
* use TIMECMD instead of TIME in makefile (unix cmd time reads its format in TIME)Gravatar letouzey2010-01-05
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Remove interface pluginGravatar glondu2009-12-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 00:14:27 +0000