# OCS project definitions for: OCS
#
# $Id: ProjectDefs 615 2010-09-30 15:49:42Z florenz@TU-BERLIN.DE $


# All definitions in this file can be overwritten from the 
# command line.


# ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Miscellaneous


.BPOOL:

REL_GENOPTIONS  += -keep 

# Additional C librarys 


# ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Variants

# Default variant selection 

ocs		:= expocs	# stdocs expocs
opt		:= full		# no modest medium full
debug		:= opal		# no opal c
profile		:= no		# no gprof


# Experimental OCS

PCHECKER = -zprop -zpchecker  -zUninstImport -zreexport
EXP_OC1FLAGS	+= -v2 -w2 $(PCHECKER) 

EXP_OCSYSPARAM += -e $(OASYS_PC) -r PROOFSCRIPT

OPAL_LIBS = $(OASYS_PROOFLIB) $(OASYS_PC) $(OPAL_BASE)