forked from davewathaverford/the-omega-project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.config
105 lines (89 loc) · 3.49 KB
/
Makefile.config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
# 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
# MMS, 7/10/06, do we really need ICE and SM?
# Compiler selection.
# Remove -g if your compiler doesn't support -O and -g together
# OPTIMIZATION_CFLAGS = -O2
OPTIMIZATION_CFLAGS = -g -O0
# g++ 2.95 (tested w/ gcc version 2.95.2 19991024 (release) on SuSE linux 6.4)
CC = g++
COMPILER_CFLAGS=-Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS
# 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 $(TARGET) $(OBJS) # for all except SunPro CC
# AR_COMMAND = $(CC) $(CFLAGS) $(LDFLAGS) -xar $(OBJS) -o $(TARGET)
# 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 -l
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