index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
Avoiding registering files from _build_ci when not calling Makefile.ci.
Hugo Herbelin
2017-05-01
*
[travis] [External CI] Script renaming.
Emilio Jesus Gallego Arias
2017-02-07
*
[travis] [External CI] compcert HoTT math-comp
Emilio Jesus Gallego Arias
2017-02-07
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-12-07
|
\
|
*
Compute dependency of C files only in kernel/byterun.
Maxime Dénès
2016-12-05
*
|
No more dev/printers.cma
Pierre Letouzey
2016-07-26
|
/
*
Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4
Pierre Letouzey
2016-07-12
*
Makefile: no more .ml4.d hence no more rule to clean them
Pierre Letouzey
2016-07-12
*
expanding "make help" a little bit
Matej Kosik
2016-07-12
*
Revert "Merge remote-tracking branch 'github/pr/229' into trunk"
Maxime Dénès
2016-07-05
*
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2016-06-29
*
Compilation via pack for plugins of the stdlib
Pierre Letouzey
2016-06-08
*
Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}
Pierre Letouzey
2016-06-08
*
Makefile: make clean now removes the .coq-native subdirs
Pierre Letouzey
2016-06-08
*
Yet another Makefile reform : a unique phase without nasty make tricks
Pierre Letouzey
2016-06-01
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
*
Remove generatable documentation files from repository. (Fix bug #4315)
Guillaume Melquiond
2015-08-17
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
|
/
*
Fix phony targets. (Fix for bug #4083)
Guillaume Melquiond
2015-02-25
*
Configure.ml creates metadata to annotate MacOS binaries
Pierre Boutillier
2014-08-26
*
A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle
Pierre Boutillier
2014-07-22
*
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-05-06
*
Revert "Makefile: the initial build of grammar.cma is now directory-driven"
Pierre Letouzey
2014-03-24
*
Makefile: the initial build of grammar.cma is now directory-driven
Pierre Letouzey
2014-03-02
*
.*.aux erased by make distclean
Pierre Boutillier
2014-02-28
*
Makefile: re-introduce 2 phases to avoid make strange -include's
Pierre Letouzey
2014-02-27
*
Fixup make clean and .merlin
Pierre Boutillier
2014-01-18
*
Remove unused Makefile lines about .elc compilation
Pierre Letouzey
2013-12-20
*
coqc and coqmktop migrated in tools/, get rid of scripts/ subdir
letouzey
2013-04-18
*
New implementation of the conversion test, using normalization by evaluation to
mdenes
2013-01-22
*
Remove broken makefile option NO_RECOMPILE_LIB
letouzey
2012-09-20
*
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-23
*
No more coqtop.opt, produce directly a coqtop binary
letouzey
2012-08-23
*
Makefile: avoid too much exported vars (for win32)
letouzey
2012-05-29
*
Configure asks for lablgtk >= 2.12 with gtksourceview2
pboutill
2012-04-27
*
make otags only relies on otags
pboutill
2012-04-12
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Makefile: fix make distclean w.r.t. test-suite
letouzey
2012-01-17
*
fake_ide: a short program to mimic an ide talking to coqtop -ideslave
letouzey
2011-09-05
*
Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395
pboutill
2011-04-08
*
Add a test for sorting all universes of stdlib
glondu
2011-01-25
*
files introduce in commit 13401 aren't erased anymore by 'make clean'
pboutill
2010-09-10
*
Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...
notin
2010-06-23
*
Fix test-suite cleaning
glondu
2010-06-02
*
"make source-doc" builds documentation of mli in html and pdf at
pboutill
2010-04-29
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Makefile: some more cleanup
letouzey
2010-03-05
*
Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...
letouzey
2010-03-04
*
Makefile: no more separate stages
letouzey
2010-03-04
*
Makefile: cleanup of variables containing lists of files, such as MLFILES
letouzey
2010-03-04
[next]