###########################################################################
#
# Parameters
#

all:
        (cd ..; $(MAKE) top=vdmsql ghc)

ghci:
        (cd ..; $(MAKE) top=vdmsql ghci)        
###########################################################################
#
# Testing
#

test:
        (export VDMSL_SGLRTBL="../contrib/vdm-front/syn/isovdm.def.tbl"; ./2lt-vdm-demo)
bams:
        (cd ..; export VDMSL_SGLRTBL="contrib/vdm-front/syn/isovdm.def.tbl";  $(MAKE) top=vdmsql/Examples/BamsExample.hs ghci)