aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml
AgeCommit message (Expand)Author
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
2014-10-07coq_makefile: explicit target install-toploop for toploop pluginsEnrico Tassi
2014-10-06fix wrong escaping in coq_makefileEnrico Tassi
2014-10-01coq_makefile: build and install *top.cmxs pluginsEnrico Tassi
2014-09-18fix coq_makefilePierre Boutillier
2014-07-07Coq_makefile: fix cmx compilation when there are both ml and mllibPierre Boutillier
2014-07-03Fix Coq_makefile in presence of mlpackPierre Boutillier
2014-07-03Bug 3405: Coq_makefile: Implicit rules only for listed files in Make filePierre Boutillier
2014-06-30Coq_makefile takes advantages of -I -Q -R cleanupPierre Boutillier
2014-06-30Coq_makefile: -extra[-phony] correction + docPierre Boutillier
2014-04-25coq_makefile: -I for the new stm/ dirEnrico Tassi
2014-04-09Adapt coq_makefile build rules to new -R -I semanticPierre Boutillier
2014-02-28Fix compilation of coq and plugins using coq_makefile under cygwinEnrico Tassi
2014-02-26coq_makefile: new target vi2voEnrico Tassi
2014-01-26-schedule-vi-checking ported to spawnEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-01-22Revert "remove -rectypes except for term.ml"mdenes
2013-01-18I forget to use git log before git svn dcommit ...pboutill
2013-01-18Revert "coq_makefile: use coqdep instead of ocamldep on .ml4 files"pboutill
2013-01-07Coq_makefile: quoting pathspboutill
2013-01-07Coq_makefile: -extra & -phony-extra for user defined makefile rulepboutill
2012-12-10Coq_makefile: Better rule for subdirs when the subdir does not existpboutill
2012-12-07Revert "* tools/Coq_makefile:"regisgia
2012-12-07* tools/Coq_makefileregisgia
2012-12-07* tools/Coq_makefile:regisgia
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 04:51:38 +0000