# $Id: Makefile,v 1.2 2002/05/12 16:45:30 mitya Exp $
LOCALINCS=../rtcg

TARGETS=../lib/dml.cmo ../lib/dml-syntax.cma

include ../common.mak

../lib/dml-syntax.cma: dml.cmo
	ocamlc -a -o $@ -I $(P4DIR) pa_o.cmo dml.cmo pr_dump.cmo

../lib/dml.cmo: dml.cmo 
	cp $< $@

../lib/dml.cmi: dml.cmi
	cp $< $@

wipe:: clean
	rm ../lib/dml.* || true