aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep_common.ml
AgeCommit message (Expand)Author
2016-11-04Fix #4837: ./configure -local makes coqdep issue many warningsMaxime Dénès
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-15ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackPierre Letouzey
2016-06-01Makefile: restore the use of coqdep_boot for creating .v.d filesPierre Letouzey
2016-01-29Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-24Fixing bug #4373: coqdep does not know about .vio files.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-01Remove unused functions.Guillaume Melquiond
2015-12-14Remove some occurrences of Unix.opendir.Guillaume Melquiond
2015-11-07Merge remote-tracking branch 'origin/v8.5' into upstream-trunkHugo Herbelin
2015-11-06Fixed #4407.Pierre Courtieu
2015-11-06Fixing #4406 coqdep: No recursive search of ml (-I).Pierre Courtieu
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-13report the full module path when reporting errors in coqdepGregory Malecha
2015-07-27Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-24Using maps and sets instead of lists in coqdep.Pierre-Marie Pédrot
2015-07-24Fixing bug #4265: "coqdep does not handle From ... Require" for good.Pierre-Marie Pédrot
2015-07-06Merge branch 'v8.5' into trunkMaxime Dénès
2015-07-03Fixing bug #4265: coqdep does not handle From ... Require.Pierre-Marie Pédrot
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-06-30Removing dead code in coqdep.Pierre-Marie Pédrot
2015-05-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-20Remove spurious ".v" from warning message.Guillaume Melquiond
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-12Update headers.Maxime Dénès
2015-01-12Fixing typo in previous commit.Hugo Herbelin
2015-01-11Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.Hugo Herbelin
2015-01-06rename: vi -> vioEnrico Tassi
2014-12-04coqdep: granting #2506 (./dir is the same as dir)Hugo Herbelin
2014-12-04coqdep: Warning about ml file clashes, keeping the file correspondingHugo Herbelin
2014-08-25Support for Timeout n and From ..Gregory Malecha
2014-06-30Coqdep: update include strategiesPierre Boutillier
2014-01-13Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Pierre Boutillier
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-12-20Warning removalPierre Boutillier
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-04-18Coqdep: add an -exclude-dir option (wish mentionned in #3025)letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 15)letouzey
2013-02-18use List.rev_map whenever possibleletouzey
2012-10-29coqdep: honor dependencies of "Load"ed filesgareuselesinge
2012-08-08Updating headers.herbelin
2011-12-17Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...pboutill
2011-10-29Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).herbelin
2011-10-26Coqdep handles .mlpackpboutill
2011-10-25coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 15:38:40 +0000