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: code cleanup (less long lines, etc)
Pierre Letouzey
2016-06-07
*
|
|
coq_makefile: List.iteri is now standard since OCaml 4.00
Pierre Letouzey
2016-06-07
*
|
|
coq_makefile : short display of commands executed by make
Pierre Letouzey
2016-06-07
*
|
|
coq_makefile: add some -ml-synonym to the ocamldep rules
Pierre Letouzey
2016-06-07
|
|
*
LtacProf for Coq trunk
Jason Gross
2016-06-05
|
|
/
|
/
|
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-30
|
\
|
|
*
use printf instead of sequenced calls to print.
Gregory Malecha
2016-03-24
|
*
add a .merlin target to the makefile
Gregory Malecha
2016-03-24
*
|
Creating a dedicated ltac/ folder for Hightactics.
Pierre-Marie Pédrot
2016-03-21
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-29
|
\
|
|
*
Tentative fix for bug #4522: Incorrect "Warning..." on windows.
Pierre-Marie Pédrot
2016-01-24
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-09-17
|
\
|
|
*
Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)
Guillaume Melquiond
2015-09-16
*
|
Coq_makefile: read TIMED and TIMECMD from environment.
Maxime Dénès
2015-09-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-06
|
\
|
|
*
Missing argument "-c" for coqdep in coq_makefile
mlasson
2015-09-03
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-05
|
\
|
|
*
Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.
Guillaume Melquiond
2015-07-30
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
*
|
Merge v8.5 into trunk
Hugo Herbelin
2015-05-15
|
\
|
|
*
Do not regenerate .d files when cleaning them. (Fix bug #4079)
Guillaume Melquiond
2015-05-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-05-05
|
\
|
|
*
Remove some spurious spaces in generated Makefiles.
Guillaume Melquiond
2015-04-22
*
|
Merge branch 'v8.5' into trunk
Enrico Tassi
2015-03-30
|
\
|
|
*
coq_makefile: fix compilation with camlp4
Enrico Tassi
2015-03-30
|
*
Properly handle extra "clean" targets with coq_makefile.
Guillaume Melquiond
2015-03-27
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-03-23
|
\
|
|
*
End of Bug 3986 - make cleanall removes .*.aux files
Pierre Boutillier
2015-03-14
|
*
Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning
Pierre Boutillier
2015-03-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-03-04
|
\
|
|
*
Coq_makefile clean target erases .coq-native dirs in . if they are empty
Pierre Boutillier
2015-02-28
|
*
Fixing the rule for ml4 depencies in coq_makefile
mlasson
2015-02-28
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-02-28
|
\
|
|
*
Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...
Guillaume Melquiond
2015-02-27
*
|
Adding a new folder corresponding to the low-level part of the pretyper
Pierre-Marie Pédrot
2015-02-27
|
/
*
Fixing printing error in coq_makefile.
Pierre-Marie Pédrot
2015-02-26
*
Mention -R option in warnings, fixing #4067 and #4068.
Maxime Dénès
2015-02-26
*
Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)
Guillaume Melquiond
2015-02-24
*
Fixed a wrong warning in coq_makefile.
Pierre Courtieu
2015-01-27
*
coq_makefile: install also .v and .glob
Enrico Tassi
2015-01-16
*
Remove left-over dead code in previous commit.
Maxime Dénès
2015-01-15
*
Make -print-mod-uid accept a list of files.
Maxime Dénès
2015-01-15
*
Make installation of native files more robust.
Maxime Dénès
2015-01-15
*
coq_makefile installs native files
Pierre Boutillier
2015-01-15
*
coq_makefile: chmod 755 on toplopp cmxs
Enrico Tassi
2015-01-14
*
Made -print-mod-uid more silent and robust.
Maxime Dénès
2015-01-13
*
Coq_makefile erases native compiler files
Pierre Boutillier
2015-01-12
*
Update headers.
Maxime Dénès
2015-01-12
[prev]
[next]