## Note: starting comments with ## means they don't end up in Makefile
+### Make phony, always remake everything.
+
+.PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
AUTOMAKE_OPTIONS = 1.5 foreign
## Put these files in $prefix/share/splint/lib
## Include them in the distribution
EXTRA_DIST = $(splintlib_DATA)
+##get rid of lcd files if the user does a make clean
+CLEANFILES = posix.lcd standard.lcd unix.lcd \
+ posixstrict.lcd standardstrict.lcd unixstrict.lcd
+
## Rules to make splint & the dumps
$(SPLINT):
cd $(top_builddir)/src; $(MAKE)
+all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
standard.lcd: standard.h $(SPLINT)
-$(SPLINT) -nof -nolib +impconj standard.h -dump standard
@touch $@