X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/363a5c931fa1dfe72d452f33b56b997bf24597fe..18848fb76cde4cad90e2c80efe0d162f041d0525:/Makefile.binary.am

diff --git a/Makefile.binary.am b/Makefile.binary.am
index 731b7ba..3d20dd3 100644
--- a/Makefile.binary.am
+++ b/Makefile.binary.am
@@ -24,6 +24,13 @@
 ## To report a bug: splint-bug@splint.org
 ## 
 
-AUTOMAKE_OPTIONS = 1.5 foreign
+AUTOMAKE_OPTIONS = 1.6.3 foreign
 
-SUBDIRS =  preBuilt lib imports  doc
+binaryDir = bin
+
+SUBDIRS =  $(binaryDir) lib imports  doc
+
+all: config.h src/splint
+
+src/splint: $(binaryDir)/splint
+	ln -s ../$(binaryDir)/splint src/splint