# Makefile.config for release 1.0-1.3 of the Omega System
# Edit this file to customize for your system.
#What to do: 
# Set X11 location, select a compiler, and choose a set of OS flags.
# If you plan to install the libraries, executables, or include files, set
# DESTDIR.

#   If X11 is installed elsewhere, edit this.  Used only for petit.
#   These settings should be good for LessTif 2.0 on Linux (tested w/ lestif2d-0.89.9-21.rpm)
#MOTIF=/usr/X11R6/LessTif/Motif2.0/
#X11_INCL_PATH=-I/usr/X11R6/include/ -I${MOTIF}/include
#X11_LIB_PATH= -L${MOTIF}/lib -L/usr/X11R6/lib/

# X11R6 with "lessTif" works with this:
#X11_LIBS = -lXm -lXt -lX11  -lICE -lSM

# For BATCH_ONLY_PETIT, leave out -lXm -lXt -lX11, like so:
# X11_LIBS = -lICE -lSM

# Compiler selection.
# Remove -g if your compiler doesn't support -O and -g together
#OPTIMIZATION_CFLAGS = -O2
#OPTIMIZATION_CFLAGS = -g

# g++  2.95 (tested w/ gcc version 2.95.2 19991024 (release) on SuSE linux 6.4)
#CC = g++
#COMPILER_CFLAGS=-Wall -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION
# ALSO USE THESE FLAGS FOR DOING TIMING AS IN DAVEW'S THESIS:
# -DSPEED -DNDEBUG -Ddont_verify_kills=1 -DDAVEW_THESIS_REDUCTIONS
#
# If there's no motif library, use  -DBATCH_ONLY_PETIT and change XFF_LIBS flags
# To use kill equation everywhere with no covers:
# -Ddont_use_cover_analysis=1 -Dkill_with_some_obvious_constraints=1
# To run as fast as possible, add this too:
# -DSPEED -DNDEBUG
# This flag still checks for multiplication overflow even when -DNDEBUG is on:
# -DSTILL_CHECK_MULT=1
#
# These may not work:
# -DmaxmaxGEQs=32768
# -DLONG_LONG_COEF=1

# egcs-1.1.2 (and g++ 2.8?)
# CC = g++
# COMPILER_CFLAGS=-Wall -DSIG_HANDLER_HAS_ONE_ARG=1 -DDONT_INCLUDE_TEMPLATE_CODE -fno-implicit-templates
# PT_OBJ=PT.o

# GCC/G++ 2.6.3
# CC = g++263
# COMPILER_CFLAGS= -Wall -DDONT_INCLUDE_TEMPLATE_CODE -fno-implicit-templates
# PT_OBJ=PT.o

# For Sun CC (SunPro C++ 3.0.1) works as of release 1.01
# CC = CC
# COLLECT_SB_INFO = -sb    # signal compiler to collect source browser info
# TEMPLATE_DB=$(BASEDIR)   # location for SunPro CC template DB
# COMPILER_CFLAGS = $(COLLECT_SB_INFO) -ptr$(TEMPLATE_DB) -DINITIALIZE_TEMPLATIZED_STATICS
# PT_OBJ=

# add objects to target archive; use first version unless using SunPro CC
AR_COMMAND = $(AR) r $(MYTARGET) $(OBJS) # for all except SunPro CC 
# AR_COMMAND = $(CC) $(CFLAGS) $(LDFLAGS) -xar $(OBJS) -o $(MYTARGET)

# OS Flags: Set these for your OS, either BSD-style or SYSV-style.
# BSD-style (SunOS 4.1.x, may work for others.)
OS_CFLAGS=
OS_INCL_PATH=
OS_LIB_PATH=
OS_LIBS=
RANLIB=ranlib
# SYSV style (Solaris 2.x, may work for others -- Solaris doesn't define SYSV)
#OS_CFLAGS=-DOMIT_GETRUSAGE -DSYSV -DSVR4 $(X11_LIB_PATH:-L%=-R%)
#OS_INCL_PATH=
#OS_LIB_PATH=
#OS_LIBS=-lgen -lsocket
#RANLIB=echo
# end of OS selection

# Where things should be installed:
DESTDIR=/usr/local
INCL_DESTDIR=$(DESTDIR)/include/omega
LIB_DESTDIR=$(DESTDIR)/lib
BIN_DESTDIR=$(DESTDIR)/bin

# This is only used if you modify the grammar file.  Use bison if you have it.
RUMINANT=bison -y
FLEX=flex
LEX=$(FLEX)

# Set these if you have any other things to include.
# Each of these variables can have a list of directories/libs.
EXTRA_INCL_PATH=
EXTRA_LIB_PATH=
EXTRA_LIBS=

# That should be all...these should be OK for all systems.
SED = sed
SHELL=/bin/sh
RM=/bin/rm
CP=/bin/cp
MAKEDEPEND=makedepend
AR=ar