[splint.git] / bin / Makefile.am

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

AUTOMAKE_OPTIONS = 1.6.3 foreign no-dependencies

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

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
e1d93bd7	1	## Note: starting comments with ## means they don't end up in Makefile
e1d93bd7	2
f0c4f4d3	3	AUTOMAKE_OPTIONS = 1.6.3 foreign no-dependencies
e1d93bd7	4
	5	SUFFIXES = .h .c .o .l .check
	6
e1d93bd7	7	binaryDir = bin
	8
	9	## We only build Splint
	10	bin_PROGRAMS = splint
	11
	12	.PHONY: all
	13
	14	EXTRA_DIST = splint
	15
e32d7527	16	#DIST_SOURCES =
e1d93bd7	17
	18	#chessy hack so it doesn't try to build splint
	19	splint$(EXEEXT): ;
	20
	21	install-exec-hook: $(top_builddir)/src/splint$(EXEEXT)
	22
	23	$(top_builddir)/src/splint$(EXEEXT): splint$(EXEEXT)
	24	ln -s ../$(binaryDir)/splint $(top_builddir)/src/splint$(EXEEXT)
	25
	26	#don't delete ./splint
	27	clean: ;
	28