index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
CoqMakefile.in
Commit message (
Expand
)
Author
Age
*
coq-makefile: strip windows drive letter when DESTDIR is not empty
Enrico Tassi
2017-07-20
*
coq-makefile: treat coq_makefile as any other coq binary
Enrico Tassi
2017-07-20
*
Add timing scripts
Jason Gross
2017-07-11
*
Fix TIMED=1 on Mac OSX
Jason Gross
2017-07-08
*
Merge PR #844: Better support for make TIMED=1 on Windows
Maxime Dénès
2017-07-07
|
\
*
|
Fix more potential quoting issues: COQBIN , COQLIB
Jason Gross
2017-06-30
*
|
Also quote $(COQLIB)/grammar
Jason Gross
2017-06-30
*
|
Create a variable for CAMLDOC in CoqMakefile.in
Jason Gross
2017-06-30
*
|
Quote $(OCAMLFIND) in CoqMakefile.in for Windows
Jason Gross
2017-06-30
|
*
Better support for make TIMED=1 on Windows
Jason Gross
2017-06-30
|
/
*
Move TIMER to right in front of COQC
Jason Gross
2017-06-15
*
Fix `make TIMED=1` garbage
Jason Gross
2017-06-15
*
Strip trailing whitespace
Jason Gross
2017-06-15
*
Merge PR#709: Bytecode compilation apart from 'make world', again
Maxime Dénès
2017-06-12
|
\
*
\
Merge PR#698: Trunk misc
Maxime Dénès
2017-06-07
|
\
\
*
|
|
Fix coq_makefile uninstall target under OSX.
Maxime Dénès
2017-06-01
|
*
|
removing duplicate line from "tools/CoqMakefile.in"
Matej Košík
2017-05-31
|
/
/
|
*
coq_makefile : do not build bytecode versions of plugins by default
Pierre Letouzey
2017-05-30
|
/
*
coq_makefile: build .cma for each .mlpack
Enrico Tassi
2017-05-27
*
coq_makefile: use -include rather than include
Enrico Tassi
2017-05-24
*
add the only target
Enrico Tassi
2017-05-23
*
coq_makefile: avoid spurious ./ in generated .conf file
Enrico Tassi
2017-05-23
*
Restore 8.5, 8.6 compatibility of STDTIME, TIMECMD
Jason Gross
2017-05-23
*
Make install a single colon target for retro compatibility
Enrico Tassi
2017-05-23
*
enters coq_makefile2
Enrico Tassi
2017-05-23