# HaXML rules:
.SUFFIXES: .dtd .hs

DTD2HS = DtdToHaskell

.dtd.hs: 
	$(DTD2HS) $< > $@

LIBS = $(TOP)/htk/libhtk.a\
       $(TOP)/reactor/libreactor.a\
       $(TOP)/events/libevents.a\
       $(TOP)/util/libutil.a

SRCS = XGitTypes.hs PGIP.hs pgip.hs Prover.hs XGitState.hs XGitSimpleOps.hs XGitConArea.hs XGitMain.hs

XHCDIRS = $(HTKDIRS)

include @TOP@/mk/boilerplate.mk