X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/45569d7296a74e5620ced469031bc7b91522b6c7..4aadc959f0b7e060a1646ec96378febd8a40ebc4:/lib/Makefile.am

diff --git a/lib/Makefile.am b/lib/Makefile.am
index 02c5c3d..166ff49 100644
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -5,17 +5,20 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 ## Put these files in $prefix/share/splint/lib
 splintlibdir = $(pkgdatadir)/lib
 
+UnixHeaders = stdio.h stdlib.h
+
 ## List of files
 splintlib_DATA = \
   ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \
   unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
   file.mts file.xh filerw.mts filerw.xh \
   lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
-  stdio.h stdlib.h
+  stdio.h stdlib.h $(UnixHeaders)
 
 ## Include them in the distribution
 EXTRA_DIST = $(splintlib_DATA)
 
+
 ## Rules to make splint & the dumps
 
 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
@@ -39,10 +42,10 @@ posixstrict.lcd: ansi.h posix.h $(SPLINT)
 	-$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
 	@touch $@
 
-unix.lcd: ansi.h posix.h unix.h $(SPLINT)
-	-$(SPLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix
+unix.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT)
+	-$(SPLINT) -incondefs -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix
 	@touch $@
 
-unixstrict.lcd: ansi.h posix.h unix.h $(SPLINT)
-	-$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
+unixstrict.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT)
+	-$(SPLINT) -incondefs -nolib +impconj -DSTRICT ansi.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict
 	@touch $@