PACKAGES = uni-davinci uni-server
PACKAGE = Main

# LIBS = $(TOP)/davinci/libdavinci.a $(TOP)/graphs/test/libtestgraph.a \
#   $(TOP)/graphs/libgraphs.a $(TOP)/htk/libhtk.a \
#   $(TOP)/reactor/libreactor.a $(TOP)/server/libserver.a \
#   $(TOP)/events/libevents.a $(TOP)/util/libutil.a

LIBS = $(TOP)/../HetCATS/hetcats.a

# LIB = lib.a

SRCS = AbstractGraphView.hs MainLispInterface.hs MainhetGUI.hs

XHCDIRS= $(HTKDIRS)

EXTRA_HC_OPTIONS = -i$(TOP)/../HetCATS:$(TOP)/../HetCATS/parsec:$(TOP)/../HetCATS/haterm-1.0/src:$(TOP)/../HetCATS/fgl:$(TOP)/../HetCATS/pretty:$(TOP)/../HetCATS:$(TOP)/../HetCATS/CASL:$(TOP)/../HetCATS/HasCASL:$(TOP)/../HetCATS/aterm_conv:$(TOP)/../HetCATS/ghc:$(TOP)/../HetCATS/Modal:$(TOP)/../HetCATS/Haskell $(TOP)/../HetCATS/hetcats.a -package haskell-src

include @TOP@/mk/boilerplate.mk