aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* weak dependency of coqtop for coqide and coqc (bug 2390)Gravatar pboutill2011-04-08
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Makefile.build: states/initial.coq was wrongly done with -dont-load-proofsGravatar letouzey2011-03-21
* Makefile.build: compile the stdlib with -dont-load-proofs by defaultGravatar letouzey2011-03-18
* Revert "syntax for exponents"Gravatar glondu2011-02-25
* syntax for exponentsGravatar pottier2011-02-22
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* MacOS integrationGravatar pboutill2011-01-07
* Coqide is not built with coqmktop any moreGravatar pboutill2011-01-07
* Don't install both coqide.byte and coqide.optGravatar pboutill2011-01-07
* Extraction: allow to use Extraction Inline / NoInline even from under a section.Gravatar letouzey2010-10-06
* Fix installation of emacs filesGravatar glondu2010-07-24
* Finish adding out-of-the-box support for camlp4Gravatar letouzey2010-07-09
* Remove dependency to Unix from module ProfileGravatar glondu2010-07-02
* Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.Gravatar herbelin2010-06-26
* Fixing dependencies for coqideGravatar vgross2010-06-22
* Do not link system library into installed .cmaGravatar glondu2010-06-02
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* ocamldoc related fixesGravatar pboutill2010-05-03
* Re-enable validation in "make check", run it in parallel with test-suiteGravatar glondu2010-05-03
* "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