HaRe-0.6: StrategyLib-4.0-beta/examples/two-sorts-drift-default/Makefile
###############################################################################
#
# Environment for makerules
#
StrategyLib = ../..
derive = DatatypesTermInstances.hs
Model = drift-default
###############################################################################
#
# Reusable includes
#
include ${StrategyLib}/scripts/makerules.examples