aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml
AgeCommit message (Expand)Author
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
2015-03-04Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-28Coq_makefile clean target erases .coq-native dirs in . if they are emptyPierre Boutillier
2015-02-28Fixing the rule for ml4 depencies in coq_makefilemlasson
2015-02-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-27Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...Guillaume Melquiond
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-26Fixing printing error in coq_makefile.Pierre-Marie Pédrot
2015-02-26Mention -R option in warnings, fixing #4067 and #4068.Maxime Dénès
2015-02-24Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)Guillaume Melquiond
2015-01-27Fixed a wrong warning in coq_makefile.Pierre Courtieu
2015-01-16coq_makefile: install also .v and .globEnrico Tassi
2015-01-15Remove left-over dead code in previous commit.Maxime Dénès
2015-01-15Make -print-mod-uid accept a list of files.Maxime Dénès
2015-01-15Make installation of native files more robust.Maxime Dénès
2015-01-15coq_makefile installs native filesPierre Boutillier
2015-01-14coq_makefile: chmod 755 on toplopp cmxsEnrico Tassi
2015-01-13Made -print-mod-uid more silent and robust.Maxime Dénès
2015-01-12Coq_makefile erases native compiler filesPierre Boutillier
2015-01-12Update headers.Maxime Dénès
2015-01-06rename: vi -> vioEnrico Tassi
2014-12-18Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for gram...mlasson
2014-12-12Fix #3800 : cmxs need execution priviledges under windowsPierre Boutillier
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-10-09Coq_makefile: Allow empty logical namesPierre Boutillier
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:10:18 +0000