aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Gravatar Pierre Letouzey2017-06-14
* BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
* mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsGravatar Pierre Letouzey2017-06-01
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* Gitlab CIGravatar Gaëtan Gilbert2017-05-28
* test suite for coq_makefileGravatar Enrico Tassi2017-05-23
* Avoiding registering files from _build_ci when not calling Makefile.ci.Gravatar Hugo Herbelin2017-05-01
* [travis] [External CI] Script renaming.Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] compcert HoTT math-compGravatar Emilio Jesus Gallego Arias2017-02-07
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-12-07
|\
| * Compute dependency of C files only in kernel/byterun.Gravatar Maxime Dénès2016-12-05
* | No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
|/
* Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Gravatar Pierre Letouzey2016-07-12
* Makefile: no more .ml4.d hence no more rule to clean themGravatar Pierre Letouzey2016-07-12
* expanding "make help" a little bitGravatar Matej Kosik2016-07-12
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
* Makefile: make clean now removes the .coq-native subdirsGravatar Pierre Letouzey2016-06-08
* Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\
| * Remove generatable documentation files from repository. (Fix bug #4315)Gravatar Guillaume Melquiond2015-08-17
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Fix phony targets. (Fix for bug #4083)Gravatar Guillaume Melquiond2015-02-25
* Configure.ml creates metadata to annotate MacOS binariesGravatar Pierre Boutillier2014-08-26
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Revert "Makefile: the initial build of grammar.cma is now directory-driven"Gravatar Pierre Letouzey2014-03-24
* Makefile: the initial build of grammar.cma is now directory-drivenGravatar Pierre Letouzey2014-03-02
* .*.aux erased by make distcleanGravatar Pierre Boutillier2014-02-28
* Makefile: re-introduce 2 phases to avoid make strange -include'sGravatar Pierre Letouzey2014-02-27
* Fixup make clean and .merlinGravatar Pierre Boutillier2014-01-18
* Remove unused Makefile lines about .elc compilationGravatar Pierre Letouzey2013-12-20
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Remove broken makefile option NO_RECOMPILE_LIBGravatar letouzey2012-09-20
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* No more coqtop.opt, produce directly a coqtop binaryGravatar letouzey2012-08-23
* Makefile: avoid too much exported vars (for win32)Gravatar letouzey2012-05-29
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* make otags only relies on otagsGravatar pboutill2012-04-12
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Makefile: fix make distclean w.r.t. test-suiteGravatar letouzey2012-01-17
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395Gravatar pboutill2011-04-08
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* files introduce in commit 13401 aren't erased anymore by 'make clean'Gravatar pboutill2010-09-10
* Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...Gravatar notin2010-06-23
* Fix test-suite cleaningGravatar glondu2010-06-02