aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2011-06-17Customized accelerator maps for macos are globally installed (end to fix 2462)pboutill
2011-06-15git rebase -i mess consequencepboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-06-10no more errors at _stubs.c.d generationpboutill
2011-04-08weak dependency of coqtop for coqide and coqc (bug 2390)pboutill
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-21Makefile.build: states/initial.coq was wrongly done with -dont-load-proofsletouzey
2011-03-18Makefile.build: compile the stdlib with -dont-load-proofs by defaultletouzey
2011-02-25Revert "syntax for exponents"glondu
2011-02-22syntax for exponentspottier
2011-01-28Remove the "Boxed" syntaxes and the const_entry_boxed fieldletouzey
2011-01-25Add a test for sorting all universes of stdlibglondu
2011-01-07MacOS integrationpboutill
2011-01-07Coqide is not built with coqmktop any morepboutill
2011-01-07Don't install both coqide.byte and coqide.optpboutill
2010-10-06Extraction: allow to use Extraction Inline / NoInline even from under a section.letouzey
2010-07-24Fix installation of emacs filesglondu
2010-07-09Finish adding out-of-the-box support for camlp4letouzey
2010-07-02Remove dependency to Unix from module Profileglondu
2010-06-26Backporting modifications to nsatz (doc + fix of bug #2328) from trunk to v8.3.herbelin
2010-06-22Fixing dependencies for coqidevgross
2010-06-02Do not link system library into installed .cmaglondu
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-05-19static (and shared) camlp4use instead of per-file declarationletouzey
2010-05-03ocamldoc related fixespboutill
2010-05-03Re-enable validation in "make check", run it in parallel with test-suiteglondu
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-10Run parallelized test-suite in "check" target of main Makefileglondu
2010-03-18Makefile.build: (slightly) more robust sed invocation for parsing camlp4deps/...letouzey
2010-03-05Makefile: some more cleanupletouzey
2010-03-04Makefile: a nicer hack concerning ocamlopt with no .mli: -intf-suffix .cmi (t...letouzey
2010-03-04Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...letouzey
2010-03-04Makefile: no more separate stagesletouzey
2010-03-04Makefile: try to avoid rare make failures related with make -j + ocamlopt + .cmiletouzey
2010-03-04Makefile: cleanup of variables containing lists of files, such as MLFILESletouzey
2010-03-04Makefile: factorization of default rules for .cmi/.cmo/.cmxletouzey
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2010-03-04Makefile: hide the trick ...||(RV=$$?;rm $@; exit $${RV}) under a macro $(TOT...letouzey
2010-02-25In the git-specific part of Makefile.build, call to hostname gave optionthutchin
2010-02-18Polishing the setup of CoqIDE Input Methodvgross
2010-02-16Makefile.build: avoid warning about undefined variable during make installletouzey
2010-02-16Makefile: also install the .cmi of pluginsletouzey
2010-01-26make init + NMake.v/NMake_gen.vnotin
2010-01-25NMake: several things need not be macro-generatedletouzey
2010-01-14Disable validateglondu
2010-01-05use TIMECMD instead of TIME in makefile (unix cmd time reads its format in TIME)letouzey
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 04:21:42 +0000