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
*
add unit tests to test suite
Paul Steckler
2018-05-16
*
Remove LaTeX refman, now that migration to Sphinx is complete
Maxime Dénès
2018-04-16
*
Integration of a sphinx-based documentation generator.
Maxime Dénès
2018-03-09
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
Change references to CAMLP4 to CAMLP5 to be more accurate since we no
Jim Fehrle
2018-02-17
*
Merge PR #6377: Removal of the FAQ LaTex document.
Maxime Dénès
2017-12-20
|
\
|
*
Removing the FAQ, which has been moved to the GitHub wiki for this
Matt Quinn
2017-12-18
*
|
[make] remove unneeded generated file "tolink.ml"
Emilio Jesus Gallego Arias
2017-12-10
*
|
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-12-10
*
|
Add alienclean target to remove compilation products with no source.
Gaëtan Gilbert
2017-11-28
|
/
*
Fix link to Recursive Make Considered Harmful
Gaëtan Gilbert
2017-11-23
*
Fix GitLab CI
Gaëtan Gilbert
2017-09-13
*
Makefile : ignore user-contrib in various file searches
Pierre Letouzey
2017-08-13
*
Makefile: 'make clean' now immune to the check for binary files without sources
Pierre Letouzey
2017-08-02
*
Merge PR #852: Makefile: fails if some .vo or .cm* file has no source
Maxime Dénès
2017-07-28
|
\
*
|
Add timing scripts
Jason Gross
2017-07-11
|
*
Makefile: fails if some .vo or .cm* file has no source
Pierre Letouzey
2017-07-05
|
/
*
Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...
Pierre Letouzey
2017-06-14
*
BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)
Pierre Letouzey
2017-06-13
*
mention 'make world' without 'byte' in CHANGES + 2 minor suggestions
Pierre Letouzey
2017-06-01
*
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2017-05-30
*
Gitlab CI
Gaëtan Gilbert
2017-05-28
*
test suite for coq_makefile
Enrico Tassi
2017-05-23
*
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
[next]