## 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)
-$(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 $@