aboutsummaryrefslogtreecommitdiff
path: root/Makefile.dev
AgeCommit message (Expand)Author
2020-02-19[make] Fix makefile variable after plugin .v files moveEmilio Jesus Gallego Arias
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-05-21Fixing typos - Part 1JPR
2019-01-10[make] support for QUICKEnrico Tassi
2018-11-08Remove checker printersGaëtan Gilbert
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-09-25Remove romegaVincent Laporte
2018-09-12Remove quote pluginMaxime Dénès
2018-08-30Fix #8361: dependency states: camldevfilesGaëtan Gilbert
2018-08-28Put camldevfiles targets in MakefileGaëtan Gilbert
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-05-13Infrastructure for ocamldebug on the checkerGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-11-28CI: use -byte-only in [warnings] jobs.Gaëtan Gilbert
2017-08-29[general] Merge parsing with highparsing, put toplevel at the top of the link...Emilio Jesus Gallego Arias
2017-06-14Prelude : no more autoload of plugins extraction and recdefPierre Letouzey
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-05-26[checker] Add bin/votour to the coqocaml target.Emilio Jesus Gallego Arias
2017-05-17Travis: add -warn-error targets (standard and 4.04.1 ocaml)Gaetan Gilbert
2017-04-07[camlpX] Enrico's changes to camlp4 removal.Emilio Jesus Gallego Arias
2017-02-17Ltac as a plugin.Pierre-Marie Pédrot
2016-09-02Merge branch 'v8.6'Pierre-Marie Pédrot
2016-08-30Missing .PHONY targets.Pierre-Marie Pédrot
2016-07-26No more dev/printers.cmaPierre Letouzey
2016-07-13Makefile.dev: fix a typo in the 'logic' rulePierre Letouzey
2016-07-13Makefile.dev: fix a typo in the 'logic' rulePierre Letouzey
2016-06-24Makefile.install: fix the install of plugin cmiPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:59:26 +0000