#
#$Id: Makefile,v 1.5 2002/05/12 16:44:43 mitya Exp $
# 
#
LIBS = rtcg bytecode syntax #autogen
LIBINSTALL=rtcg.mli eval.mli rtcg.cmi eval.cmi librtcg.a rtcg.cma rtcgbyte.cma
P4INSTALL=dml.cmo dml-syntax.cma

include Makefile.in

start: dolibs dotests


debug: dolibsd dotestsd

install:
	cp $(LIBINSTALL:%=lib/%) $(LIBDIR)
	cp $(P4INSTALL:%=lib/%) $(P4LIB)

uninstall:
	rm $(LIBINSTALL:%=$(LIBDIR)/%)
	rm $(P4INSTALL:%=$(P4LIB)/%)



clean:: 
	for DIR in $(LIBS) tests; do cd $$DIR; $(MAKE) -k clean; cd ..; done
	rm *~ core || true
	rm Makefile.in

wipe: 
	for DIR in $(LIBS) tests; do cd $$DIR; $(MAKE) -k wipe; cd ..; done

dolibs:
	for DIR in $(LIBS); do cd $$DIR; $(MAKE) -k; cd ..; done

dolibsd:
	for DIR in $(LIBS); do cd $$DIR; $(MAKE) -k DEBUG=yes; cd ..; done

dotests:
	cd tests; make -k; cd ..

dotestsd:
	cd tests; make -k debug; cd ..

#
# $Log: Makefile,v $
# Revision 1.5  2002/05/12 16:44:43  mitya
# Added dml-syntax.cma
#
# Revision 1.4  2002/05/06 17:24:03  mitya
# *** empty log message ***
#
# Revision 1.3  2002/04/06 13:18:05  mitya
# autogen removed
#
# Revision 1.2  2002/02/28 11:14:47  mitya
# Log added
#
#
#
