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
*
Merge PR #8015: Output UTF-8 explicitly in timing tools
Jason Gross
2018-07-08
|
\
|
*
Output UTF-8 explicitly in timing tools
Jasper Hugunin
2018-07-07
*
|
Merge PR #7921: Archive the `gallina` tool
Maxime Dénès
2018-07-07
|
\
\
|
|
/
|
/
|
*
|
Merge PR #7990: Convert timing tool to python3
Jason Gross
2018-07-05
|
\
\
|
*
|
Convert timing tools to run with both python2 and python3
Jasper Hugunin
2018-07-04
*
|
|
Fix timing tools on NixOS.
Théo Zimmermann
2018-07-03
|
/
/
|
*
Archive the `gallina` tool
Vincent Laporte
2018-06-25
|
/
*
Merge PR #7241: [coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)
Théo Zimmermann
2018-06-13
|
\
*
|
Fix PHONY typo in coq_makefile
Gaëtan Gilbert
2018-04-27
|
*
[coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)
Enrico Tassi
2018-04-13
|
/
*
docs
Ralf Jung
2018-03-21
*
coq_makefile: provide variables to override for adding extra flags
Ralf Jung
2018-03-20
*
coq_makefile: FLAG make variables should not contain LIBS
Ralf Jung
2018-03-20
*
Closes #6830: coqdep reads options and files from _CoqProject.
Gaëtan Gilbert
2018-03-06
*
Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX
Gaëtan Gilbert
2018-02-28
*
Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...
Maxime Dénès
2018-02-19
|
\
|
*
Change references to CAMLP4 to CAMLP5 to be more accurate since we no
Jim Fehrle
2018-02-17
*
|
Merge PR #1073: new quick2vo target: like vio2vo, but smarter
Maxime Dénès
2018-02-15
|
\
\
|
*
|
new quick2vo target: like vio2vo, but smarter
Ralf Jung
2018-02-15
|
|
/
*
/
Possible fix for issue #6697
Yannick Forster
2018-02-07
|
/
*
Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts
Maxime Dénès
2018-01-08
|
\
|
*
Add TIMING_SORT_BY and --sort-by to timing scripts
Jason Gross
2017-12-27
*
|
[API] remove large file containing duplicate interfaces
Enrico Tassi
2017-12-27
|
/
*
Merge PR #6217: Do dependencies in 1 command per file class.
Maxime Dénès
2017-12-18
|
\
|
*
Do dependencies in 1 command per file class.
Gaëtan Gilbert
2017-12-15
*
|
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
Maxime Dénès
2017-12-14
|
\
\
*
\
\
Merge PR #6388: Fix issue #6387
Maxime Dénès
2017-12-14
|
\
\
\
*
\
\
\
Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...
Maxime Dénès
2017-12-13
|
\
\
\
\
|
|
*
|
|
Fix issue #6387
Martin Vassor
2017-12-11
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Restoring filtering of native files passed to `rm` during `make clean`.
Maxime Dénès
2017-12-11
|
|
*
|
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-12-10
|
|
/
/
|
/
|
|
*
|
|
Merge PR #6142: Single quotes break on Windows
Maxime Dénès
2017-12-07
|
\
\
\
*
|
|
|
coq_makefile: pass filenames to coqchk
Ralf Jung
2017-11-29
|
|
_
|
/
|
/
|
|
*
|
|
Fix coq-makefile ocamldoc call when configured with -annotate.
Gaëtan Gilbert
2017-11-24
|
|
/
|
/
|
|
*
Single quotes break on Windows
Carl Patenaude Poulin
2017-11-11
|
/
*
Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...
Maxime Dénès
2017-10-11
*
Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...
Maxime Dénès
2017-10-05
|
\
*
|
coq_makefile: dont show errors from failed (ignored) rmdir
Ralf Jung
2017-09-20
|
*
coq_makefile: make sure compile flags for Coq and coq_makefile are in sync
Emilio Jesus Gallego Arias
2017-09-19
*
|
Merge PR #990: Prevent warning about DSTROOT being undefined.
Maxime Dénès
2017-09-15
|
\
\
|
|
/
|
/
|
*
|
coq_makefile: fix .merlin generation (FLG -thread)
Enrico Tassi
2017-08-29
*
|
coq_makefile: improve documentation
Enrico Tassi
2017-08-29
*
|
coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs
Enrico Tassi
2017-08-29
*
|
coq_makefile: do not overwrite CAMLFLAGS
Enrico Tassi
2017-08-29
*
|
coq_makefile: use dedicated variable for extra packages
Enrico Tassi
2017-08-29
*
|
coq_makefile: build/use .cma for packed plugins
Enrico Tassi
2017-08-29
|
*
Prevent warning about DSTROOT being undefined.
Guillaume Melquiond
2017-08-22
|
/
*
Merge PR #964: More portable location for the time command.
Maxime Dénès
2017-08-16
|
\
*
|
fix coq_makefile
Matej Košík
2017-08-12
|
*
More portable location for the time command.
Théo Zimmermann
2017-08-12
|
/
[next]