-##################################################
-###
-### Makefile for OS/2 version of LCLint
-###
-### designed for use with gmake (GNU make)
-###
-### based on David Evans' original makefile for Unix systems
-###
-### This file should not need to be edited.
-###
-### configuration is set by top-level makefile and written to file
-### config.inc included by this file.
-###
-### Commands:
-###
-### make all
-### builds a release version of lclint from scratch using optimizations
-###
-
-O=.o
-E=
-
-
-include ../os2/config.inc
-
-.SUFFIXES:
-.SUFFIXES: $E $O .h .c .l .check
-
-###
-### object files needed for building lclint:
-### note that there is no dependency checking done!
-###
-FIRSTOBJ=cgrammar$O llgrammar$O signature$O
-OBJ=$(FIRSTOBJ) abstract$O aliasTable$O annotationInfo$O annotationTable$O \
- checking$O clabstract$O clause$O clauseStack$O constraint$O \
- constraintExpr$O constraintExprData$O constraintGeneration$O \
- constraintList$O constraintOutput$O constraintResolve$O constraintTerm$O \
- context$O cpperror$O cppexp$O cpphash$O cpplib$O cppmain$O cprim$O \
- cscanner$O cstring$O cstringList$O cstringSList$O cstringTable$O ctype$O \
- ctypeList$O cvar$O declaratorInvNodeList$O declaratorNodeList$O ekind$O \
- enumNameList$O enumNameSList$O exprChecks$O exprData$O exprNode$O \
- exprNodeList$O exprNodeSList$O fcnNodeList$O fileLib$O fileIdList$O \
- fileTable$O fileloc$O filelocList$O filelocStack$O flagMarker$O \
- flagMarkerList$O flagSpec$O flags$O forjunk$O functionClause$O \
- functionClauseList$O functionConstraint$O general$O genericTable$O \
- globalsClause$O globSet$O globals$O guardSet$O idDecl$O idDeclList$O \
- importNodeList$O imports$O initDeclNodeList$O inputStream$O intSet$O \
- interfaceNodeList$O lclctypes$O lclinit$O lcllib$O lclscan$O \
- lclscanline$O lclsyntable$O lcltokentable$O letDeclNodeList$O lh$O \
- llerror$O llmain$O lltok$O lslOpList$O lslOpSet$O lslinit$O \
- lslparse$O lsymbol$O lsymbolList$O lsymbolSet$O ltoken$O ltokenList$O \
- macrocache$O mapping$O message$O messageLog$O metaStateConstraint$O \
- metaStateConstraintList$O metaStateExpression$O metaStateInfo$O \
- metaStateSpecifier$O metaStateTable$O modifiesClause$O mtAnnotationDecl$O \
- mtAnnotationList$O mtAnnotationsNode$O mtContextNode$O \
- mtDeclarationNode$O mtDeclarationPiece$O mtDeclarationPieces$O \
- mtDefaultsDecl$O mtDefaultsDeclList$O mtDefaultsNode$O mtLoseReference$O \
- mtLoseReferenceList$O mtMergeClause$O mtMergeClauseList$O mtMergeItem$O \
- mtMergeNode$O mtTransferAction$O mtTransferClause$O \
- mtTransferClauseList$O mtValuesNode$O mtgrammar$O mtreader$O mtscanner$O \
- mttok$O multiVal$O nameChecks$O osd$O pairNodeList$O paramNodeList$O \
- programNodeList$O qtype$O qual$O qualList$O quantifierNodeList$O \
- randomNumbers$O reader$O replaceNodeList$O sRef$O sRefSet$O sRefSetList$O \
- sRefTable$O scan$O scanline$O shift$O sigNodeSet$O \
- sort$O sortList$O sortSet$O sortSetList$O stateClause$O stateClauseList$O \
- stateCombinationTable$O stateInfo$O stateValue$O stDeclNodeList$O \
- storeRefNodeList$O structNames$O symtable$O syntable$O termNodeList$O \
- tokentable$O traitRefNodeList$O transferChecks$O typeIdSet$O \
- typeNameNodeList$O uentry$O uentryList$O usymIdSet$O usymtab$O \
- usymtab_interface$O valueTable$O varDeclarationNodeList$O varKinds$O \
- varNodeList$O warnClause$O ynm$O
-
-###
-### main (and only) target: lclint with all optimizations.
-###
-
-all: Headers\\flag_codes.gen lclint$E
-lclint$E : $(OBJ)
- $(CC) $(OFLAG) $(OBJ) $(LINKFLAGS)
-
-###
-### subtarget: local constants header file.
-###
-
-localconstants:
- cmd /c if exist Headers\local_constants.last del Headers\local_constants.last
- cmd /c if exist Headers\local_constants.h ren Headers\local_constants.h local_constants.last
- $(ECHO) "/* local_constants.h - created automatically by gmake localconstants */" > Headers\local_constants.h
- $(ECHO) "/*@constant observer char *DEFAULT_CPPCMD;@*/" >> Headers\local_constants.h
- $(ECHO) -E "# define DEFAULT_CPPCMD \"$(DEFAULT_CPPCMD)\"" >> Headers\local_constants.h
- $(ECHO) "/*@constant observer char *SYSTEM_LIBDIR;@*/" >> Headers\local_constants.h
- $(ECHO) -E "# define SYSTEM_LIBDIR \"$(SYSTEM_LIBDIR)\"" >> Headers\local_constants.h
- $(ECHO) "/*@constant observer char *DEFAULT_LARCHPATH;@*/" >> Headers\local_constants.h
- $(ECHO) -E "# define DEFAULT_LARCHPATH \"$(DEFAULT_LARCHPATH)\"" >> Headers\local_constants.h
- $(ECHO) "/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/" >> Headers\local_constants.h
- $(ECHO) -E "# define DEFAULT_LCLIMPORTDIR \"$(DEFAULT_LCLIMPORTDIR)\"" >> Headers\local_constants.h
-
-###
-### grammars
-###
-
-###
-### -p xx flag to bison renames yyparse ==> xxparse, xxlex ==> xxlex
-### this is probably NOT compatible with yacc.
-###
-
-signature.c : signature.c.der signature.y
-ifdef BISON
- $(BISON) $(YFLAGS) -p lsl signature.y
- $(CAT) bison.head signature.tab.c > signature.c
- -$(MV) Headers\signature_gen.h Headers\signature_gen.bak
- $(CAT) bison.head signature.tab.h > Headers\signature_gen.h
-else
- (CP) signature.c.der signature.c
-endif
-
-cgrammar.c : cgrammar.c.der cgrammar.y
-ifdef BISON
- $(BISON) $(YFLAGS) cgrammar.y
- $(CAT) bison.head cgrammar.tab.c > cgrammar.c
- -$(MV) Headers\cgrammar_tokens.h Headers\cgrammar_tokens.bak
- $(CAT) bison.head cgrammar.tab.h > Headers\cgrammar_tokens.h
-else
- $(CP) cgrammar.c.der cgrammar.c
-endif
-
-### llgrammar2.h is necessary so +singleinclude may be used
-
-llgrammar.c : llgrammar.c.der llgrammar.y
-ifdef BISON
- $(BISON) $(YFLAGS) -p yl llgrammar.y
- $(CAT) bison.head llgrammar.tab.c > llgrammar.c
- -$(MV) Headers\llgrammar_gen2.h Headers\llgrammar_gen2.bak
- $(CAT) bison.head llgrammar.tab.h > Headers\llgrammar_gen2.h
- -$(MV) Headers\llgrammar_gen.h Headers\llgrammar_gen.bak
- $(CAT) bison.head llgrammar.tab.h > Headers\llgrammar_gen.h
-else
- $(CP) llgrammar.c.der llgrammar.c
-endif
-
-cscanner.c : cscanner.c.der cscanner.l
-ifdef FLEX
- $(FLEX) $(LFLAGS) -olex.yy.c cscanner.l
- $(CAT) flex.head lex.yy.c > cscanner.c
-else
- $(CP) cscanner.c.der cscanner.c
-endif
-
-###
-### compile without warnings
-###
-signature.o : signature.c
- $(CC) $(CPPFLAGS) -c $*.c
-
-cgrammar.o : cgrammar.c
- $(CC) $(CPPFLAGS) -c $*.c
-
-cscanner.o : cscanner.c
- $(CC) $(CPPFLAGS) -c $*.c
-
-mtgrammar.o : mtgrammar.c
- $(CC) $(CPPFLAGS) -c $*.c
-
-llgrammar.o : llgrammar.c
- $(CC) $(CPPFLAGS) -c $*.c
-
-
-###
-### header files dependant on grammars
-###
-
-Headers\signature2.h : signature.c
-Headers\cgrammar2.h : cgrammar.c
-Headers\llgrammar.h : llgrammar.c
-
-###
-### generated headers
-###
-
-Headers\\flag_codes.gen: flags.def
- grep "FLG_" $< >$@
- touch flags.c
-
-###
-### defaults
-###
-
-### Flags for checking a single file
-SINGLEFLAGS = +neverinclude -supcounts +partial -showsummary -load lclint.lcd
-
-.c$O:
- $(CC) $(CFLAGS) $(CPPFLAGS) -c $*.c
-
-###
-### cleaning
-###
-### Standard entries to remove files from the directories
-### up --- remove .o files and grammar derivatives
-### tidy --- eliminate unwanted files
-### clean --- delete derived files, except for spec-derived files
-### pristine --- delete all derived files
-###
-
-pristine: clean
- -$(RM) -f *.lcs *.lslo
-
-clean: tidy
- -$(RM) core lclint
- -$(RM) *.out *.output *.bib *.dvi *.idx *.log *$O *.toc
- -$(RM) cgrammar.c cscanner.c
-
-tidy:
- -$(RM) ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~
-
-up:
- -$(RM) cgrammar.c llgrammar.c signature.c cscanner.c
- -$(RM) *$O
-
-###
-### other flags are in .lclintrc file
-###
-
-lint:
- $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint
-
-
-
+#\r
+# splint Makefile for GNU Make on OS/2 systems\r
+#\r
+# Derived from original Unix makefile by Herbert\r
+#\r
+\r
+SHELL = /usr/bin/ksh\r
+\r
+include ../os2/make.vars\r
+\r
+BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y\r
+\r
+\r
+## We only build Splint\r
+bin_PROGRAMS = splint$(EXEEXT)\r
+\r
+## This is a fake program, so we can easily substitute in the extra LCL objects\r
+EXTRA_PROGRAMS = lcl\r
+\r
+AM_CPPFLAGS = -IHeaders\r
+\r
+## The main sources\r
+\r
+SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c\r
+\r
+LISTSRC = clauseStack.c filelocStack.c \\r
+ cstringList.c cstringSList.c sRefSetList.c ctypeList.c \\r
+ enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \\r
+ uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \\r
+ flagMarkerList.c idDeclList.c flagSpec.c\r
+\r
+CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c\r
+\r
+CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \\r
+ stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \\r
+ globalsClause.c modifiesClause.c warnClause.c functionClause.c \\r
+ functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \\r
+ metaStateExpression.c metaStateSpecifier.c functionConstraint.c \\r
+ pointers.c cscannerHelp.c \r
+\r
+SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c\r
+CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c\r
+\r
+GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c\r
+\r
+GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c\r
+\r
+OVERFLOWCHSRC = constraintList.c constraintResolve.c \\r
+ constraintGeneration.c constraintTerm.c \\r
+ constraintExprData.c constraintExpr.c constraint.c \\r
+ loopHeuristics.c \r
+\r
+GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \\r
+ fileTable.c cstringTable.c valueTable.c stateValue.c \\r
+ llerror.c messageLog.c flagMarker.c aliasTable.c ynm.c \\r
+ sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \\r
+ lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c\r
+\r
+METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \\r
+ metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \\r
+ mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \\r
+ mtContextNode.c mtValuesNode.c mtDefaultsNode.c \\r
+ mtAnnotationsNode.c mtMergeNode.c mtAnnotationList.c \\r
+ mtAnnotationDecl.c mtTransferClauseList.c mtTransferClause.c \\r
+ mtTransferAction.c mtLoseReferenceList.c mtLoseReference.c \\r
+ mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \\r
+ mtMergeClause.c mtMergeClauseList.c\r
+\r
+## These are only used if LCL is enabled\r
+\r
+LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \\r
+ lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \\r
+ shift.c lclscan.c lsymbol.c mapping.c\r
+\r
+LSLSRC = tokentable.c scan.c scanline.c lslparse.c \\r
+ lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c \r
+\r
+LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c\r
+\r
+LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \\r
+ interfaceNodeList.c sortSetList.c declaratorNodeList.c \\r
+ letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \\r
+ lslOpList.c lsymbolList.c termNodeList.c ltokenList.c \\r
+ traitRefNodeList.c pairNodeList.c typeNameNodeList.c \\r
+ fcnNodeList.c paramNodeList.c programNodeList.c \\r
+ varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \\r
+ replaceNodeList.c importNodeList.c\r
+\r
+IFILES = ctbase.i cttable.i exprDataQuite.i\r
+\r
+#Files that are used on systems that do not have bison or yacc\r
+DER_BISON_FILES = signature.c.der cgrammar.c.der mtgrammar.c.der \\r
+ llgrammar.c.der \r
+DER_FILES = $(DER_BISON_FILES)\r
+\r
+\r
+COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \\r
+ $(GLOBSRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)\r
+\r
+LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(COMMONSRC) $(LCLONLYSRC) \r
+\r
+ALLSRC = $(GRAMSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(LCLSRC)\r
+# snprintf.c\r
+\r
+#files to run Splint on\r
+LINTSRC = $(COMMONSRC) $(SPLINTSRC)\r
+\r
+lcl_SOURCES = $(LCLSRC)\r
+CONFIG_HEADER = ../config.h\r
+\r
+splint_SOURCES = $(ALLSRC)\r
+splint_OBJECTS = $(splint_SOURCES:.c=$O)\r
+\r
+# Keep it fake\r
+.PHONY: lcl$(EXEEXT)\r
+\r
+DEFS = -DHAVE_CONFIG_H -D__pid_t=pid_t\r
+DEFAULT_INCLUDES = -I. -I..\r
+\r
+## Sources that need to be built\r
+BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \\r
+ Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \\r
+ Headers/mtgrammar_tokens.h signature.c cgrammar.c \\r
+ llgrammar.c mtgrammar.c Headers/flag_codes.gen \\r
+ $(DER_FILES)\r
+\r
+all: $(binDir)/splint$(EXEEXT) ../os2/setenv.cmd\r
+ $(MAKE) -C ../lib -f Makefile.os2\r
+\r
+$(CONFIG_HEADER): ../os2/os2config.h.in\r
+ $(SED) -e 's|@DEFAULT_LARCHPATH@|$(DEFAULT_LARCHPATH)|' \\r
+ -e 's|@DEFAULT_LCLIMPORTDIR@|$(DEFAULT_LCLIMPORTDIR)|' \\r
+ -e 's|@GCC_INCLUDE_DIR@|$(GCC_INCLUDE_DIR)|' \\r
+ -e 's|@GCC_INCLUDE_DIR2@|$(GCC_INCLUDE_DIR2)|' \\r
+ -e 's|@TARGET_CPU@|$(TARGET_CPU)|' \\r
+ -e 's|@UNAME@|$(UNAME)|' \\r
+ -e 's|@LCL_COMPILE@|$(LCL_COMPILE)|' \\r
+ -e 's|@LCL_PARSE_VERSION@|$(LCL_PARSE_VERSION)|' \\r
+ -e 's|@SPLINT_VERSION@|$(SPLINT_VERSION)|' \\r
+ -e 's|@SYSTEM_LIBDIR@|$(SYSTEM_LIBDIR)|' \\r
+ $< >$@\r
+\r
+../os2/setenv.cmd: ../os2/setenv.cmd.in\r
+ $(SED) -e 's|@LCL_VERSION@|$(LCL_VERSION)|' \\r
+ -e 's|@BASEDIR@|$(BASEDIR)|' \\r
+ $< | tr '/' '\\\\\\' >$@\r
+\r
+Headers/signature_gen.h signature.c: signature.c.der signature.y\r
+ifndef BISON\r
+ $(CP) signature.c.der signature.c\r
+else \r
+ echo "Making signature.c"\r
+ $(BISON) $(YFLAGS) -p lsl signature.y\r
+ $(CAT) bison.head signature.tab.c bison.reset >signature.c\r
+ $(CP) signature.c signature.c.der\r
+ -$(MV) Headers/signature_gen.h Headers/signature_gen.bak\r
+ $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h\r
+ $(RM) signature.tab.c signature.tab.h\r
+endif\r
+\r
+## 11/29/001 drl added copy so that the file cgrammar.c.der is created\r
+\r
+Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y\r
+ifndef BISON\r
+ $(CP) cgrammar.c.der cgrammar.c\r
+else \r
+ @echo "Making cgrammar.c"\r
+ @echo "Expect 141 shift/reduce conflicts and 111 reduce/reduce conflicts."\r
+ @echo "(see cgrammar.y for explanation)"\r
+ $(BISON) $(YFLAGS) cgrammar.y\r
+ $(CAT) bison.head cgrammar.tab.c bison.reset >cgrammar.c\r
+ $(CP) cgrammar.c cgrammar.c.der\r
+ -$(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak\r
+ $(CAT) bison.head cgrammar.tab.h bison.reset >Headers/cgrammar_tokens.h\r
+ $(RM) cgrammar.tab.c cgrammar.tab.h\r
+endif\r
+\r
+## 10/16/001 drl added copy so that the file mtgrammar.c.der is created\r
+## also removed the dependency for this file on mtgrammary.c \r
+\r
+Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y\r
+ifndef BISON\r
+ $(CP) mtgrammar.c.der mtgrammar.c\r
+else \r
+ @echo "Making mtgrammar.c"\r
+ @echo "Expect 11 shift/reduce conflicts."\r
+ $(BISON) $(YFLAGS) -p mt mtgrammar.y\r
+ $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c\r
+ $(CP) mtgrammar.c mtgrammar.c.der\r
+ -$(MV) Headers/mtgrammar_tokens.h Headers/mtgrammar_tokens.bak\r
+ $(CAT) bison.head mtgrammar.tab.h bison.reset >Headers/mtgrammar_tokens.h\r
+ $(RM) mtgrammar.tab.c mtgrammar.tab.h\r
+endif\r
+\r
+Headers/llgrammar_gen.h Headers/llgrammar_gen2.h llgrammar.c: llgrammar.c.der llgrammar.y\r
+ifndef BISON\r
+ $(CP) llgrammar.c.der llgrammar.c\r
+else \r
+ @echo "Making llgrammar.c"\r
+ @echo "Expect 2 shift/reduce conflicts"\r
+ $(BISON) $(YFLAGS) -p yl llgrammar.y\r
+ $(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c\r
+ $(CP) llgrammar.c llgrammar.c.der\r
+ -$(MV) Headers/llgrammar_gen2.h Headers/llgrammar_gen2.bak\r
+ -$(MV) Headers/llgrammar_gen.h Headers/llgrammar_gen.bak\r
+ $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen2.h\r
+ $(CAT) bison.head llgrammar.tab.h bison.reset >Headers/llgrammar_gen.h\r
+ $(RM) llgrammar.tab.c llgrammar.tab.h\r
+endif\r
+\r
+cscanner.c: cscanner.l\r
+ $(FLEX) $(LFLAGS) cscanner.l \r
+ $(CAT) flex.head lexyy.c flex.reset > cscanner.c\r
+\r
+Headers/flag_codes.gen: flags.def\r
+ grep "FLG_" flags.def > Headers/flag_codes.gen\r
+\r
+$(binDir)/splint$(EXEEXT): splint$(EXEEXT)\r
+ -$(RM) -f $(binDir)/splint$(EXEEXT)\r
+ $(CP) splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
+\r
+clean: \r
+ -rm -f $(splint_OBJECTS) core *.core *~ \r
+ -rm -f cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c\r
+\r
+CLEANFILES = splint$(EXEEXT) $(binDir)/splint$(EXEEXT)\r
+\r
+snprintf$O: snprintf.c\r
+ $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) \\r
+ -DHAVE_STRING_H -DHAVE_STDLIB_H -DHAVE_CTYPE_H $(CPPFLAGS) -c $<\r
+\r
+%$O: %.c\r
+ $(CC) $(CFLAGS) $(DEFS) $(DEFAULT_INCLUDES) $(CPPFLAGS) -c $<\r
+\r
+splint$(EXEEXT) : $(CONFIG_HEADER) $(BUILT_SOURCES) $(splint_OBJECTS) \r
+ $(CC) $(OFLAG)$@ $(splint_OBJECTS) $(LDFLAGS)\r
+\r
+list:\r
+ @echo "$(splint_OBJECTS)"\r
andersk / splint.git / blobdiff