aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2017-06-14Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Pierre Letouzey
2017-06-13BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Pierre Letouzey
2017-06-01mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsPierre Letouzey
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-28Gitlab CIGaëtan Gilbert
2017-05-23test suite for coq_makefileEnrico Tassi
2017-05-01Avoiding registering files from _build_ci when not calling Makefile.ci.Hugo Herbelin
2017-02-07[travis] [External CI] Script renaming.Emilio Jesus Gallego Arias
2017-02-07[travis] [External CI] compcert HoTT math-compEmilio Jesus Gallego Arias
2016-12-07Merge branch 'v8.6'Pierre-Marie Pédrot
2016-12-05Compute dependency of C files only in kernel/byterun.Maxime Dénès
2016-07-26No more dev/printers.cmaPierre Letouzey
2016-07-12Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Pierre Letouzey
2016-07-12Makefile: no more .ml4.d hence no more rule to clean themPierre Letouzey
2016-07-12expanding "make help" a little bitMatej Kosik
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
2016-06-08Makefile: make clean now removes the .coq-native subdirsPierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-02-25Fix phony targets. (Fix for bug #4083)Guillaume Melquiond
2014-08-26Configure.ml creates metadata to annotate MacOS binariesPierre Boutillier
2014-07-22A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundlePierre Boutillier
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-03-24Revert "Makefile: the initial build of grammar.cma is now directory-driven"Pierre Letouzey
2014-03-02Makefile: the initial build of grammar.cma is now directory-drivenPierre Letouzey
2014-02-28.*.aux erased by make distcleanPierre Boutillier
2014-02-27Makefile: re-introduce 2 phases to avoid make strange -include'sPierre Letouzey
2014-01-18Fixup make clean and .merlinPierre Boutillier
2013-12-20Remove unused Makefile lines about .elc compilationPierre Letouzey
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-01-22New implementation of the conversion test, using normalization by evaluation tomdenes
2012-09-20Remove broken makefile option NO_RECOMPILE_LIBletouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-23No more coqtop.opt, produce directly a coqtop binaryletouzey
2012-05-29Makefile: avoid too much exported vars (for win32)letouzey
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-12make otags only relies on otagspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-01-17Makefile: fix make distclean w.r.t. test-suiteletouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-04-08Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395pboutill
2011-01-25Add a test for sorting all universes of stdlibglondu
2010-09-10files introduce in commit 13401 aren't erased anymore by 'make clean'pboutill
2010-06-23Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...notin
2010-06-02Fix test-suite cleaningglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:42:15 +0000