Fixed previously ignored splintme warnings in loopHeuristics.c

[splint.git] / src / Makefile.sys

diff --git a/src/Makefile.sys b/src/Makefile.sys
index a2f7af67155b9f009eaacb3ae300e3f5114cbc9b..564dc7c5bc4cb916198140b494dbcf194c1bb0ef 100644 (file)
--- a/src/Makefile.sys
+++ b/src/Makefile.sys
@@ -1,9 +1,3 @@
-###
-### If I was smarter, I'd figure out how to get configure to fill in the
-### variables here instead of using environment variables to override
-### them.  The way I do it is pretty lame....
-###
-
 ################################################
 ###
 ### Generic system dependant Makefile
@@ -18,14 +12,25 @@ 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
-CCOPT           = gcc -O2
+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
@@ -35,20 +40,22 @@ CCOPT           = gcc -O2
 CPPFLAGS     = -I$(HEADERDIR) -DUNIX -DNOSTDLIB=0 -DUGS=1
 ### -DUGS=1 is needed for AIX (should be set by configure)
 
-### lex library (overrode by configure environment variable)
-LINKFLAGS     = -ll
+### lex library
+
+LINKFLAGS     = -lfl
+
 
 ifeq ($(CC), gcc)
-  CFLAGS       = $(CPPFLAGS) -Wpointer-arith -Wcast-qual -Wcomment -Wswitch -Wunused -Wreturn-type -ansi -pedantic
+  CFLAGS       = -Wpointer-arith -Wcast-qual -Wcomment -Wswitch -Wunused -Wreturn-type -ansi -pedantic
 else
-  CFLAGS       = $(CPPFLAGS)
+  CFLAGS       = 
 endif
 
 DEBUGFLAGS = -DYYDEBUG=1 -DYYIMPURE=1 # don't change this
 
 ### bison flags
 
-YFLAGS          = -v -t -d
+YFLAGS          = -v -t -d --debug
 
 ###
 ### controls lclint checking (uncomment this line to have
@@ -69,12 +76,18 @@ 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"