02_cmi_depends.patch « files « xml-light « dev-ml - repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

GitWeb

Get Gentoo!

summary refs log tree commit diff

path: root/dev-ml/xml-light/files/02_cmi_depends.patch

blob: c1f4ce31d159c844fe497e1e879d94ad2d0bc7fd (plain)

--- a/Makefile
+++ b/Makefile
@@ -82,6 +82,6 @@
 .mll.ml:
 	ocamllex $<
 
-.mly.ml:
+%.mli %.ml: %.mly
 	ocamlyacc $<