# OCS project definitions for:
# Generated automatically from ProjectDefs.in by configure.
# ** Compiling the Oasys interpreter with proof checker extension **
# $Header: /home/uebb/uebb/CVS/ocs/src/proofchecker/oasyspc/pdriver/ProjectDefs.in,v 1.3 2000/01/27 20:48:47 kd Exp $
#


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


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


.BPOOL:

REL_GENOPTIONS  += -keep 

# Opal libraries

OPAL_LIBS = $(OASYS_PC) $(OASYS_MAIN) $(OASYS_SHARED) $(OC_OC2) $(OC_OC1) $(OC_SHARED) $(OPAL_READLINE) $(OPAL_TCL) $(OPAL_PARSERLIGHT) $(OPAL_BASE)

# Default variant selection 

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

# clear this
ANDSHARED = #
