config.make

# *** MOCS-COPYRIGHT-NOTICE-BEGIN ***
#
# This copyright notice is auto-generated by ./add-copyright-notice.
# Additional copyright notices must be added below the last line of this notice.
#
# MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/): "config.make".
# The content of this file is copyright of Saarland University -
# Copyright (C) 2009 Saarland University, Reactive Systems Group, Lars Kuhtz.
#
# This file is part of MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/).
#
# License: three-clause BSD style license.
# The license text can be found in the file LICENSE.
#
# *** MOCS-COPYRIGHT-NOTICE-END ***

VERSION="0.1"
REVISION := $(shell hg id)

# Optimization
HSOPT:=-O2
#HSOPT:=-O2 -hide-package mtl -W # use this in case of conflicts
COPT:=-O2

# Debugging
#CDEBUG:=-ggdb

# temporary hack:
XILINX:=/home/kuhtz/misc/xilinx-on-paul/Xilinx/10.1
XST:=$(XILINX)/ISE/bin/lin/xst