Updated documentation and Makefiles (LCLint -> splint),

[splint.git] / os2 / make.vars

diff --git a/os2/make.vars b/os2/make.vars
new file mode 100644 (file)
index 0000000..a8d445b
--- /dev/null
+++ b/os2/make.vars
@@ -0,0 +1,19 @@
+CC = icc -q -W2 -Dunlink=unlink -O+ -G5 -Gf+ -Gi+ -Gs+ \r
+CPPFLAGS = -I.\Headers -DSTDC_HEADERS=1 -DOS2 \r
+CFLAGS = \r
+OFLAG = -fe\r
+LDFLAGS = -B/noe setargv.obj fl.lib splint.def\r
+O = .obj\r
+EXEEXT = .exe\r
+BISON = bison\r
+FLEX = flex\r
+YFLAGS = -v -t -d\r
+LFLAGS = \r
+CPPCMD = cpp \r
+CP = cp\r
+MV = mv\r
+CAT = cat\r
+RM = rm\r
+INSTALL = cp\r
+INSTALLFLAGS = \r
+ECHO = echo\r