[splint.git] / src / Makefile.sys

################################################
###
### Generic system dependant Makefile
### edit this file to build a new system
###
################################################

### File Counts

WC = wc
LS = ls
OFILES = $(LS) *.o | $(WC) -l
SFILES = $(LS) *.c | $(WC) -l

## on mamba
#BISON     = /usr/local/bin/bison
#FLEX      = /usr/local/bin/flex

BISON = /usr/bin/bison
FLEX = /usr/bin/flex

# ${HOME}/bison-1.28/bin/bison


###
### Compiler and compiler flags
###
### NOTE: CC is set in top level Makefile
###       

CC              = gcc  -Wall -g
CCOPT           = gcc -Wall -g
# -O4 doesn't work with bison 1.25 

###
### CPPFLAGS also used by lclint --- it should only include -I, -D and
### -U flags
###

CPPFLAGS     = -I$(HEADERDIR) -DUNIX -DNOSTDLIB=0 -DUGS=1
### -DUGS=1 is needed for AIX (should be set by configure)

### lex library

LINKFLAGS     = -lfl


ifeq ($(CC), gcc)
  CFLAGS       = -Wpointer-arith -Wcast-qual -Wcomment -Wswitch -Wunused -Wreturn-type -ansi -pedantic
else
  CFLAGS       = 
endif

DEBUGFLAGS = -DYYDEBUG=1 -DYYIMPURE=1 # don't change this

### bison flags

YFLAGS          = -v -t -d --debug

###
### controls lclint checking (uncomment this line to have
### lclint check each source file before compiling)
###
### CHECK = TRUE
###

### SHELL           = /bin/csh

LCLINT          = lclint

HEADERDIR       = Headers

### standard commands

RM              = rm -f
MV              = mv -f
CP              = cp
CAT             = cat
SED		= sed

MAKEDEPEND      = makedepend
LASTBACKUP      = lastbackup
VERSION_NUMBER  = lastversion


###
### Defaults (overrode by environment varialbles for local build)
###

SYSTEM_LIBDIR   = "/usr/include"
DEFAULT_LARCHPATH = "/usr/local/lclint/lib"
DEFAULT_LCLIMPORTDIR = "/usr/local/lclint/imports"
Commit	Line	Data
885824d3	1	################################################
	2	###
	3	### Generic system dependant Makefile
	4	### edit this file to build a new system
	5	###
	6	################################################
	7
	8	### File Counts
	9
	10	WC = wc
	11	LS = ls
	12	OFILES = $(LS) *.o \| $(WC) -l
	13	SFILES = $(LS) *.c \| $(WC) -l
	14
754746a0	15	## on mamba
	16	#BISON = /usr/local/bin/bison
	17	#FLEX = /usr/local/bin/flex
	18
	19	BISON = /usr/bin/bison
	20	FLEX = /usr/bin/flex
	21
	22	# ${HOME}/bison-1.28/bin/bison
	23
	24
885824d3	25	###
	26	### Compiler and compiler flags
	27	###
	28	### NOTE: CC is set in top level Makefile
	29	###
	30
2934b455	31	CC = gcc -Wall -g
2934b455	32	CCOPT = gcc -Wall -g
754746a0	33	# -O4 doesn't work with bison 1.25
885824d3	34
	35	###
	36	### CPPFLAGS also used by lclint --- it should only include -I, -D and
	37	### -U flags
	38	###
	39
	40	CPPFLAGS = -I$(HEADERDIR) -DUNIX -DNOSTDLIB=0 -DUGS=1
	41	### -DUGS=1 is needed for AIX (should be set by configure)
	42
754746a0	43	### lex library
	44
	45	LINKFLAGS = -lfl
	46
885824d3	47
885824d3	48	ifeq ($(CC), gcc)
b7b694d6	49	CFLAGS = -Wpointer-arith -Wcast-qual -Wcomment -Wswitch -Wunused -Wreturn-type -ansi -pedantic
885824d3	50	else
b7b694d6	51	CFLAGS =
885824d3	52	endif
	53
	54	DEBUGFLAGS = -DYYDEBUG=1 -DYYIMPURE=1 # don't change this
	55
	56	### bison flags
	57
754746a0	58	YFLAGS = -v -t -d --debug
885824d3	59
	60	###
	61	### controls lclint checking (uncomment this line to have
	62	### lclint check each source file before compiling)
	63	###
	64	### CHECK = TRUE
	65	###
	66
	67	### SHELL = /bin/csh
	68
	69	LCLINT = lclint
	70
	71	HEADERDIR = Headers
	72
	73	### standard commands
	74
	75	RM = rm -f
	76	MV = mv -f
	77	CP = cp
	78	CAT = cat
6fcd0b1e	79	SED = sed
885824d3	80
	81	MAKEDEPEND = makedepend
	82	LASTBACKUP = lastbackup
	83	VERSION_NUMBER = lastversion
	84
	85
754746a0	86	###
	87	### Defaults (overrode by environment varialbles for local build)
	88	###
885824d3	89
2934b455	90	SYSTEM_LIBDIR = "/usr/include"
b7e84605	91	DEFAULT_LARCHPATH = "/usr/local/lclint/lib"
b7e84605	92	DEFAULT_LCLIMPORTDIR = "/usr/local/lclint/imports"
885824d3	93