diff options
| author | Gaëtan Gilbert | 2018-08-28 13:03:43 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-08-28 13:03:43 +0200 |
| commit | 35c28d8c506e1bb4d9b2f2afa6f2702aa359dc13 (patch) | |
| tree | 204a2458b21dca908a34e625c6cefa711c053703 /Makefile.dev | |
| parent | f885e8a88620351d9dc4b0969f520d13197f2184 (diff) | |
Put camldevfiles targets in Makefile
There's no need to build dependencies for it.
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 ############################### |