index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
coq_makefile.ml
Commit message (
Expand
)
Author
Age
*
coq_makefile: build and install *top.cmxs plugins
Enrico Tassi
2014-10-01
*
fix coq_makefile
Pierre Boutillier
2014-09-18
*
Coq_makefile: fix cmx compilation when there are both ml and mllib
Pierre Boutillier
2014-07-07
*
Fix Coq_makefile in presence of mlpack
Pierre Boutillier
2014-07-03
*
Bug 3405: Coq_makefile: Implicit rules only for listed files in Make file
Pierre Boutillier
2014-07-03
*
Coq_makefile takes advantages of -I -Q -R cleanup
Pierre Boutillier
2014-06-30
*
Coq_makefile: -extra[-phony] correction + doc
Pierre Boutillier
2014-06-30
*
coq_makefile: -I for the new stm/ dir
Enrico Tassi
2014-04-25
*
Adapt coq_makefile build rules to new -R -I semantic
Pierre Boutillier
2014-04-09
*
Fix compilation of coq and plugins using coq_makefile under cygwin
Enrico Tassi
2014-02-28
*
coq_makefile: new target vi2vo
Enrico Tassi
2014-02-26
*
-schedule-vi-checking ported to spawn
Enrico Tassi
2014-01-26
*
.vi files: .vo files without proofs
Enrico Tassi
2014-01-04
*
Coqdep always uses / as dir_sep
Pierre Boutillier
2013-12-20
*
Getting rid of the use of deprecated elements (from the OCaml standard library).
xclerc
2013-10-14
*
Revert "remove -rectypes except for term.ml"
mdenes
2013-01-22
*
I forget to use git log before git svn dcommit ...
pboutill
2013-01-18
*
Revert "coq_makefile: use coqdep instead of ocamldep on .ml4 files"
pboutill
2013-01-18
*
Coq_makefile: quoting paths
pboutill
2013-01-07
*
Coq_makefile: -extra & -phony-extra for user defined makefile rule
pboutill
2013-01-07
*
Coq_makefile: Better rule for subdirs when the subdir does not exist
pboutill
2012-12-10
*
Revert "* tools/Coq_makefile:"
regisgia
2012-12-07
*
* tools/Coq_makefile
regisgia
2012-12-07
*
* tools/Coq_makefile:
regisgia
2012-12-07
*
coq_makefile: use coqdep instead of ocamldep on .ml4 files
gareuselesinge
2012-11-13
*
Coq_makefile: easier compilation with timings info (from r15850)
pboutill
2012-10-15
*
fix r15860 : no slash after $(COQLIB)
letouzey
2012-10-08
*
remove -rectypes except for term.ml
letouzey
2012-10-06
*
Repair the configure after Hugo's last "repair" ;-)
letouzey
2012-10-05
*
Fix use of $(HASNATDYNLINK) in coq_makefile output
glondu
2012-09-22
*
Coq_makefile fixups
pboutill
2012-09-18
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
The new ocaml compiler (4.00) has a lot of very cool warnings,
regisgia
2012-09-14
*
Updating headers.
herbelin
2012-08-08
*
Coq_makefile: make uninstall target
pboutill
2012-06-22
*
Install is rather beautiful
pboutill
2012-06-22
*
inthe middle one more time
pboutill
2012-06-22
*
Refactoring seems OK
pboutill
2012-06-22
*
Coq_makefile: separate finding what to install where from generating the scri...
pboutill
2012-06-22
*
coq_makefile fixup
pboutill
2012-06-14
*
New step in purpose to get both camlp4 and camlp5 compatible coq_makefiles
pboutill
2012-06-12
*
Coq_makefile bug for plugins
pboutill
2012-05-31
*
place all pretty-printing files in new dir printing/
letouzey
2012-05-29
*
Bugs revealed by playing with contribs
pboutill
2012-05-25
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Coq_makefile: Add of extra options by default
pboutill
2012-02-29
*
Coq_makefile: "beautify" target
pboutill
2011-12-17
*
Coq_makefile: "validate" target calls the checker over all vo.
pboutill
2011-12-17
*
Coq_makefile: section refactoring and no variables for OCaml if no ml* files ...
pboutill
2011-12-17
*
Coq_makefile: if no -install is provided, install location is set by a Makefi...
pboutill
2011-12-17
[next]