Removed obsolete OS/2 test makefiles.

[splint.git] / lib / Makefile.os2

#\r
# splint Makefile for GNU Make on OS/2 systems\r
#\r
# Derived from original Unix makefile by Herbert\r
#\r
\r
include ../os2/make.vars\r
\r
top_builddir = ..\r
\r
UnixHeaders = stdio.h stdlib.h\r
\r
splintlib_DATA = \\r
  standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd\\r
  unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \\r
  file.mts file.xh filerw.mts filerw.xh \\r
  lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \\r
  stdio.h stdlib.h $(UnixHeaders)\r
\r
EXTRA_DIST = $(splintlib_DATA)\r
\r
CLEANFILES = posix.lcd standard.lcd unix.lcd \\r
             posixstrict.lcd  standardstrict.lcd  unixstrict.lcd\r
\r
\r
SPLINT = $(top_builddir)/src/splint$(EXEEXT)\r
\r
subdir = lib\r
CONFIG_HEADER = $(top_builddir)/config.h\r
DATA = $(splintlib_DATA)\r
\r
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)\r
\r
all: $(DATA)\r
\r
$(SPLINT):\r
	cd $(top_builddir)/src; $(MAKE) -f Makefile.os2\r
\r
clean: \r
	$(RM) -f $(CLEANFILES)\r
\r
standard.lcd: standard.h $(SPLINT)\r
	-$(SPLINT) -nof -nolib +impconj standard.h -dump standard\r
	@touch $@\r
\r
standardstrict.lcd: standard.h $(SPLINT)\r
	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict\r
	@touch $@\r
\r
posix.lcd: standard.h posix.h $(SPLINT)\r
	-$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix\r
	@touch $@\r
\r
posixstrict.lcd: standard.h posix.h $(SPLINT)\r
	-$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict\r
	@touch $@\r
\r
unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)\r
	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix\r
	@touch $@\r
\r
unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)\r
	-$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h  stdio.h stdlib.h  -dump unixstrict\r
	@touch $@\r