makefile

C程序漏洞检查！

#	(c) 2000-2003, Bell Labs, Lucent Technologies
#	Makefile for UNO, a C source code analyzer - February 4, 2002
#	Based on ctree version 0.14 from Shaun Flisakowski
#	contact: Gerard J. Holzmann, [e-mail]
#
#	This makefile requires
#		an ANSI compatible C compiler
#		bison and flex
#	It creates 3 separate progrsms:
#		uno, uno_local, and uno_global
#	the main command is 'uno' which calls
#	uno_local and uno_global when it executes.
#
#	To execute, uno requires:
#		Unix utility grep (in cygwin or mks toolkits on PCs)
#		and either gcc (Unix), cpp (Plan9), or cl (PC)
#		for preprocessing source files
#		the default for CPP can be overridden by compiling
#		file uno_local.c with -DCPP=...
#		or at runtime with uno -CPP=... or uno_local -CPP=...
#	use the script make_pc to compile uno for a Windows PC
#
# Unix Makefile:
#
BINDIR=/usr/bin/
CC=gcc
CFLAGS=-g -DBINDIR=\"$(BINDIR)\" -DU_TYPES
#
# if you see a complaint about redefining ulong etc., use:
#
# CFLAGS=-g -DBINDIR=\"$(BINDIR)\" -DU_TYPES
#
# if the BINDIR settings fail try: -DBINDIR="$(BINDIR)"
# you may also need to add to CFLAGS:  -fwritable-strings
#

OFILES = uno_local.o heap.o nmetab.o symtab.o \
	token.o tree.o treestk.o lexer.o gram.o dflow.o \
	prnttree.o uno_lts.o \
	uno_bounds.o uno_intervals.o uno_generic.o

all:	uno uno_local uno_global

install: all
	cp uno uno_local uno_global $(BINDIR)

self_test:	gram.c
	uno -u uno.c
	uno -u -x notyet uno_global.c uno_fcts.c
	uno -u uno_local.c dflow.c gram.c heap.c \
		nmetab.c prnttree.c symtab.c token.c tree.c \
		treestk.c uno_bounds.c lexer.c \
		uno_generic.c uno_intervals.c uno_lts.c

uno:	uno.c
	$(CC) $(CFLAGS) -o uno uno.c

uno_local:	gram.h $(OFILES) 
	$(CC) $(CFLAGS) -o uno_local $(OFILES)

uno_global:	uno_global.o uno_fcts.o
	$(CC) $(CFLAGS) -o uno_global uno_global.o uno_fcts.o

gram.c gram.h:	gram.y tree.h symtab.h token.h globals.h
	bison -v -d gram.y	# expect 5 shift/reduce 23 reduce/reduce conflicts
	mv gram.tab.c gram.c
	mv gram.tab.h gram.h

lexer.c: lexer.l gram.h globals.h lexer.h token.h nmetab.h symtab.h heap.h
	flex lexer.l
	mv lex.yy.c lexer.c

lexer.o: lexer.c

gram.o: gram.c

uno_global.o:	uno_global.h uno_fcts.h dtags.h

dflow.o:	dflow.c dflow.h token.h prnttree.h gram.h symtab.h

prnttree.o:	prnttree.c prnttree.h token.h gram.h symtab.h

treestk.o:	treestk.c globals.h treestk.h

heap.o:		heap.c utype.h heap.h

nmetab.o:	nmetab.c globals.h lexer.h nmetab.h

symtab.o:	symtab.c utype.h symtab.h nmetab.h prnttree.h

token.o:	token.c gram.h

tree.o:	tree.c tree.h gram.h globals.h token.h prnttree.h

uno_lts.o:	uno_lts.c uno_lts.h prnttree.h token.h gram.h symtab.h

uno_bounds.o:	uno_bounds.c uno_lts.h symtab.h gram.h

uno_intervals.o:	uno_intervals.c uno_lts.h

uno_generic.o:	uno_generic.c uno_lts.h gram.h symtab.h

uno_local.o:	uno_local.c uno_version.h globals.h

clean:
	rm -f gram.[ch] *.o *.obj *.exe gram.output lexer.c uno_local uno_global uno *.uno