[splint.git] / preBuilt / Makefile.am

## Note: starting comments with ## means they don't end up in Makefile

AUTOMAKE_OPTIONS = 1.5 foreign

SUFFIXES = .h .c .o .l .check

# Check files before compiling; requires splint!
CHECK = 1

# Some preferences
### We use the no-lines option to prevent confusion with splint flag settings.
### Should fix splint to avoid this...
YFLAGS = -v -t -d --debug --no-lines
LFLAGS = -L


## We only build Splint
bin_PROGRAMS = splint

.PHONY: all

EXTRA_DIST = splint

DIST_SOURCES =

#chessy hack so it doesn't try to build splint
splint$(EXEEXT): ;

#don't delete ./splint
clean: ;
Commit	Line	Data
d503a7e1	1	## Note: starting comments with ## means they don't end up in Makefile
	2
	3	AUTOMAKE_OPTIONS = 1.5 foreign
	4
	5	SUFFIXES = .h .c .o .l .check
	6
	7	# Check files before compiling; requires splint!
	8	CHECK = 1
	9
	10	# Some preferences
	11	### We use the no-lines option to prevent confusion with splint flag settings.
	12	### Should fix splint to avoid this...
	13	YFLAGS = -v -t -d --debug --no-lines
	14	LFLAGS = -L
	15
	16
	17	## We only build Splint
	18	bin_PROGRAMS = splint
	19
	20	.PHONY: all
	21
	22	EXTRA_DIST = splint
	23
	24	DIST_SOURCES =
	25
	26	#chessy hack so it doesn't try to build splint
	27	splint$(EXEEXT): ;
	28
	29	#don't delete ./splint
	30	clean: ;
	31