CC     = gcc
CPLUS  = g++
LD     = ld
AR     = ar
#CC     = icc
#CPLUS  = icpc
#USE_AR = 1

# Linux etc.
GCCFLAGS = -Wall -MMD -O2
LINKFLAGS = --static

# use these for Cygwin:
# GCCFLAGS = -Wall -MMD -O2 -mno-cygwin
# LINKFLAGS = -mno-cygwin

# SAT-solvers we have
#CHAFF = ../../zChaff
#BOOLEFORCE = ../../booleforce-0.4
MINISAT = ../../MiniSat-p_v1.14
#SMVSAT =

LANGUAGES = ansi-c csp intrep pvs smvlang verilog vhdl netlist cpp specc \
            xmllang promela pascal bplang simplifylang cvclang csharp \
            smtlang nsf

# modules that we have
#MODULE_PROVER = 1
#MODULE_IPP = 1
#MODULE_BV_REFINEMENT = 1
#MODULE_SATQE = 1
#MODULE_CPP = 1
#MODULE_SMTLANG = 1
#MODULE_SPECC = 1
