diff options
| author | Enrico Tassi | 2018-08-29 10:51:11 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-08-29 10:51:11 +0200 |
| commit | 7d6892f2771262fb32bb72fc2323afaf2e823c2f (patch) | |
| tree | 60708d76ff64c2c737c9d38c4dca89bd23a5394d /Makefile.dev | |
| parent | da0feccc4d373f213fe0e93ff3881ae4d0dcd43a (diff) | |
| parent | 35c28d8c506e1bb4d9b2f2afa6f2702aa359dc13 (diff) | |
Merge PR #8340: Put camldevfiles targets in Makefile
Diffstat (limited to 'Makefile.dev')
| -rw-r--r-- | Makefile.dev | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/Makefile.dev b/Makefile.dev index ea1a3d40a2..68e96a57b7 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -15,7 +15,7 @@ # Debug printers in dev/ ######################### -.PHONY: devel printers camldevfiles +.PHONY: devel printers DEBUGPRINTERS:=dev/top_printers.cmo dev/vm_printers.cmo dev/checker_printers.cmo @@ -85,20 +85,6 @@ endif # But these partial targets could be quite handy for quick builds # of specific components of Coq. -########################################################################### -# OCaml dev files -########################################################################### -camldevfiles: $(MERLINFILES) META.coq - -.merlin: .merlin.in - cp -a "$<" "$@" - -%/.merlin: %/.merlin.in - cp -a "$<" "$@" - -META.coq: META.coq.in - cp -a "$<" "$@" - ############################### ### 1) general-purpose targets ############################### |