Removed obsolete OS/2 test makefiles.

[splint.git] / lib / Makefile.os2

diff --git a/lib/Makefile.os2 b/lib/Makefile.os2
index 985b66f60d43bbba8e70db5a0903caa2503a9327..af6c77f107432e2bdf497b6bd85683e4a96c998a 100644 (file)
--- a/lib/Makefile.os2
+++ b/lib/Makefile.os2
@@ -6,13 +6,38 @@
 \r
 include ../os2/make.vars\r
 \r
-DATAFILES = standard.h standard.lcd standardstrict.lcd posix.h posix.lcd \\r
-       posixstrict.lcd unix.h unix.lcd unixstrict.lcd \r
-SPLINT = ../bin/splint$(EXEEXT)\r
+top_builddir = ..\r
 \r
-all: $(DATAFILES)\r
+UnixHeaders = stdio.h stdlib.h\r
 \r
-clean: $(RM) -f $(DATAFILES)\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