aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_common.ml
Commit message (Expand)AuthorAge
* Fix #4837: ./configure -local makes coqdep issue many warningsGravatar Maxime Dénès2016-11-04
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackGravatar Pierre Letouzey2016-06-15
* Makefile: restore the use of coqdep_boot for creating .v.d filesGravatar Pierre Letouzey2016-06-01
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-29
|\
| * Fixing bug #4373: coqdep does not know about .vio files.Gravatar Pierre-Marie Pédrot2016-01-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove unused functions.Gravatar Guillaume Melquiond2016-01-01
* | Remove some occurrences of Unix.opendir.Gravatar Guillaume Melquiond2015-12-14
* | Merge remote-tracking branch 'origin/v8.5' into upstream-trunkGravatar Hugo Herbelin2015-11-07
|\|
| * Fixed #4407.Gravatar Pierre Courtieu2015-11-06
| * Fixing #4406 coqdep: No recursive search of ml (-I).Gravatar Pierre Courtieu2015-11-06
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\|
| * report the full module path when reporting errors in coqdepGravatar Gregory Malecha2015-08-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-27
|\|
| * Using maps and sets instead of lists in coqdep.Gravatar Pierre-Marie Pédrot2015-07-24
| * Fixing bug #4265: "coqdep does not handle From ... Require" for good.Gravatar Pierre-Marie Pédrot2015-07-24
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-06
|\|
| * Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
|\|
| * Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
|\|
| * Remove spurious ".v" from warning message.Gravatar Guillaume Melquiond2015-04-20
* | Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-16
| * Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
| * Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing typo in previous commit.Gravatar Hugo Herbelin2015-01-12
* Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.Gravatar Hugo Herbelin2015-01-11
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* coqdep: granting #2506 (./dir is the same as dir)Gravatar Hugo Herbelin2014-12-04
* coqdep: Warning about ml file clashes, keeping the file correspondingGravatar Hugo Herbelin2014-12-04
* Support for Timeout n and From ..Gravatar Gregory Malecha2014-08-25
* Coqdep: update include strategiesGravatar Pierre Boutillier2014-06-30
* Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Gravatar Pierre Boutillier2014-01-13
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Warning removalGravatar Pierre Boutillier2013-12-20
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Coqdep: add an -exclude-dir option (wish mentionned in #3025)Gravatar letouzey2013-04-18
* Restrict (try...with...) to avoid catching critical exn (part 15)Gravatar letouzey2013-03-13
* use List.rev_map whenever possibleGravatar letouzey2013-02-18
* coqdep: honor dependencies of "Load"ed filesGravatar gareuselesinge2012-10-29
* Updating headers.Gravatar herbelin2012-08-08
* Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...Gravatar pboutill2011-12-17
* Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).Gravatar herbelin2011-10-29
* Coqdep handles .mlpackGravatar pboutill2011-10-26
* coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...Gravatar pboutill2011-10-25