aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml
AgeCommit message (Expand)Author
2017-03-14[safe-string] toolsEmilio Jesus Gallego Arias
2017-03-14Fix #5132: coq_makefile generates incorrect install goalVadim Zaliva
2017-02-17Removing spurious folder includes in coq_makefile.Pierre-Marie Pédrot
2017-02-15[stm] Break stm/toplevel dependency loop.Emilio Jesus Gallego Arias
2017-01-13Properly remove aux files in subdirectories (bug #5089).Erik Martin-Dorel
2016-11-21Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Guillaume Melquiond
2016-07-19Allow `STDTIME=foo make`Jason Gross
2016-07-07Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-07-05Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Guillaume Melquiond
2016-06-29coq_makefile : do not build bytecode versions of plugins by defaultPierre Letouzey
2016-06-27Fix off-by-1 bug in coq_makefileMatthieu Sozeau
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-14Merge branch "LtacProf for trunk" (PR #165).Pierre-Marie Pédrot
2016-06-10coq_makefile: oups, a missing ; in my previous commitPierre Letouzey
2016-06-10coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)Pierre Letouzey
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-08coq_makefile: fix a crucial typo in e9c57a3Pierre Letouzey
2016-06-07Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).Guillaume Melquiond
2016-06-07Coq_makefile: code cleanup (less long lines, etc)Pierre Letouzey
2016-06-07coq_makefile: List.iteri is now standard since OCaml 4.00Pierre Letouzey
2016-06-07coq_makefile : short display of commands executed by makePierre Letouzey
2016-06-07coq_makefile: add some -ml-synonym to the ocamldep rulesPierre Letouzey
2016-06-05LtacProf for Coq trunkJason Gross
2016-03-30Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-24use printf instead of sequenced calls to print.Gregory Malecha
2016-03-24add a .merlin target to the makefileGregory Malecha
2016-03-21Creating a dedicated ltac/ folder for Hightactics.Pierre-Marie Pédrot
2016-01-29Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-24Tentative fix for bug #4522: Incorrect "Warning..." on windows.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-17Merge branch 'v8.5' into trunkMaxime Dénès
2015-09-16Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)Guillaume Melquiond
2015-09-13Coq_makefile: read TIMED and TIMECMD from environment.Maxime Dénès
2015-09-06Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-03Missing argument "-c" for coqdep in coq_makefilemlasson
2015-08-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-30Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Guillaume Melquiond
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-05-15Merge v8.5 into trunkHugo Herbelin
2015-05-14Do not regenerate .d files when cleaning them. (Fix bug #4079)Guillaume Melquiond
2015-05-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-22Remove some spurious spaces in generated Makefiles.Guillaume Melquiond
2015-03-30Merge branch 'v8.5' into trunkEnrico Tassi
2015-03-30coq_makefile: fix compilation with camlp4Enrico Tassi
2015-03-27Properly handle extra "clean" targets with coq_makefile.Guillaume Melquiond
2015-03-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-14End of Bug 3986 - make cleanall removes .*.aux filesPierre Boutillier
2015-03-14Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warningPierre Boutillier
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:32:44 +0000