1 ## Note: starting comments with ## means they don't end up in Makefile
3 AUTOMAKE_OPTIONS = 1.5 foreign
5 SUFFIXES = .h .c .o .l .check
7 # Check files before compiling; requires splint!
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
18 ## We only build Splint
27 #chessy hack so it doesn't try to build splint
30 install-exec-hook: $(top_builddir)/src/splint$(EXEEXT)
32 $(top_builddir)/src/splint$(EXEEXT): splint$(EXEEXT)
33 ln -s ../$(binaryDir)/splint $(top_builddir)/src/splint$(EXEEXT)
35 #don't delete ./splint