[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

binaryDir = bin

## 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): ;

install-exec-hook: $(top_builddir)/src/splint$(EXEEXT)

$(top_builddir)/src/splint$(EXEEXT): splint$(EXEEXT)
	ln -s ../$(binaryDir)/splint $(top_builddir)/src/splint$(EXEEXT)

#don't delete ./splint
clean: ;
Commit	Line	Data
9b437ab9	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	binaryDir = bin
	17
	18	## We only build Splint
	19	bin_PROGRAMS = splint
	20
	21	.PHONY: all
	22
	23	EXTRA_DIST = splint
	24
	25	DIST_SOURCES =
	26
	27	#chessy hack so it doesn't try to build splint
	28	splint$(EXEEXT): ;
	29
	30	install-exec-hook: $(top_builddir)/src/splint$(EXEEXT)
	31
	32	$(top_builddir)/src/splint$(EXEEXT): splint$(EXEEXT)
	33	ln -s ../$(binaryDir)/splint $(top_builddir)/src/splint$(EXEEXT)
	34
	35	#don't delete ./splint
	36	clean: ;
	37