###############################################################################
#
# Environment for makerules
#

top = ../../..

# Global variables required for the generic rules for generating the AST and
# the pretty-printer with Sdf2Haskell and for generating haskell class
# instances with DrIFT
SDFGRAMMAR     = $(top)/syn/isovdm.def
HASKELL_MODULE = Language.VDM.
SYNTAX         = Syntax

# Global variables required for the generic clean rules
CLEAN     = *.hi *.o
VERYCLEAN = Syntax.hs SyntaxPP.hs *Instances.hs


###############################################################################
#
# Files automatically generated by the generic rules in the makefiles
#

all: Syntax.hs SyntaxPP.hs EqInstances.hs ShowInstances.hs TermInstances.hs \
     ATermInstances.hs


###############################################################################
#
# Reusable includes
#

include $(top)/scripts/makerules.clean
include $(top)/scripts/makerules.recurse
include $(top)/scripts/makerules.sdf2haskell
include $(top)/scripts/makerules.drift
include $(top)/scripts/makerules.configuration