YFLAGS = -v -t -d --debug --no-lines
LFLAGS = -L
+binaryDir = bin
## We only build Splint
bin_PROGRAMS = splint
#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: ;