###############################################################################
#
# Configuration file for all programs and its options
#
# The purpose of this makefile is to concentrate all configurations in a
# single file. This way is possible to configure a single file for
# different architectures and not rely in autoconf for that task.
#


# Configuration for the Strafunski bundle that is required both for compilation
# and for using its tools for generation.
STRATEGYLIB = $(top)/contrib/StrategyLib
ATERMLIB    = $(top)/contrib/ATermLib
SDF2HASKELLLIB = $(top)/contrib/Sdf2Haskell/library


# Configuration for the PURe University of Minho Haskell Libraries. This is
# required for compilation
PURe = $(top)/contrib/PURe


# Configuration for the sdf2table program that generates a parsing table
# from a SDF file (needed by sglr to parse a source file)
SDF2TABLE = sdf2table
SDF2TABLE_OPTS = -s -v


# Configuration for the ambtracker program that allows visualize ambiguities
# in a parse tree.
AMBTRACKER = ambtracker


# Configuration for the parse-unit program that allows to run unit tests for
# SDF
PARSE_UNIT = parse-unit
PARSE_UNIT_OPTS = # --no-heuristic-filters


# Configuration for Sdf2Haskell that allows generation of an Haskell AST 
# (abstract syntax tree) and pretty-printer from an SDF definition.
SDF2HASKELL = $(STRAFUNSKI)/Sdf2Haskell/generator/Sdf2Haskell


# Configuration for DrIFT that allows generation of miscellaneous haskell
# class instances
DRIFT = DrIFT


# Configurations for the glasgow Haskell compiler (ghc)
GHC  = ghc
# Cygwin: GHCi = ghcii.sh
GHCi = ghci
GHC_OPTS = -fglasgow-exts \
           -fallow-overlapping-instances \
           -fallow-undecidable-instances \
           -package util \
           -package data

GHC_LIBS = ${STRATEGYLIB}/library:${STRATEGYLIB}/models/drift-default:${ATERMLIB}/library:${SDF2HASKELLLIB}:${PURe}/libraries:$(top)/contrib/HUnit-1.0:.