aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep_common.ml
AgeCommit message (Expand)Author
2021-04-12[coqdep] error on non-existent and unreadable filesHendrik Tews
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-13[coqdep] Remove support for `-c` ocamldep replacement.Emilio Jesus Gallego Arias
2020-02-13[coqdep] Merge `-sort` and `-suffix` options.Emilio Jesus Gallego Arias
2020-02-11[coqdep] mli cleanup, remove unused functionsEmilio Jesus Gallego Arias
2020-02-07[coqdep] Remove deprecated -slash , unused, undocumented -mldep option.Emilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-08coqdep: only output vos when passed -vosGaëtan Gilbert
2019-11-01Implementing support for vos/vok files.charguer
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-04Remove leftover code that used to handle ml4 files.Pierre-Marie Pédrot
2018-10-19Adapt coq_makefile to handle coqpp-based macro files.Pierre-Marie Pédrot
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-05-08[coqdep] Minor cleanups.Emilio Jesus Gallego Arias
2018-05-04Fix #7413: coqdep warning on repeated filesGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-23coqdep: remove optimization making makefiles harder to writeEnrico Tassi
2017-05-23coqdep: set FOR_PACK variable for files that need to be packedEnrico Tassi
2017-05-15Dead code in coqdep.Hugo Herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:33 +0000