From: herbert <herbert>
Date: Thu, 27 Sep 2001 10:10:50 +0000 (+0000)
Subject: files to circumvent automatic header file generation
X-Git-Tag: Alpha-3_0_0_19~36
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/e5d2a658af6e8169dfa6ed8bc0eb12390964f38a

files to circumvent automatic header file generation
---

diff --git a/os2/BUILD.OS2 b/os2/BUILD.OS2
index 75e2257..6f1f813 100644
--- a/os2/BUILD.OS2
+++ b/os2/BUILD.OS2
@@ -33,6 +33,13 @@ Each of the above options will create a new configuration. To continue
 a build with an existing configuration use "o". Finally "t" runs the
 "quicktest" part of the test suite (other tests are not yet supported).
 
+If you experience problems with the automatic configuration file creation
+from within Makefile.os2 you may alternatively call makeos2.cmd with the
+`-o' option and use the existing config.inc file (assuming that you use
+IBMC, else edit it by hand). In that case you may also want to edit the
+local_constants.h and herald.h files from this directory to have it match 
+your setup.
+
 Please, be aware that you need the flex library in order to build lclint.
 As far as I remember the OS/2 version of flex comes with this library for
 the emx/gcc compiler. If not, you will easily be able to compile it 
diff --git a/os2/config.inc b/os2/config.inc
new file mode 100644
index 0000000..6bc67ed
--- /dev/null
+++ b/os2/config.inc
@@ -0,0 +1,19 @@
+CC=icc -q -W2 -Dunlink=unlink -O+ -G5 -Gf+ -Gi+ -Gs+ 
+CFLAGS=
+CPPFLAGS=-I.\Headers -DSTDC_HEADERS=1 -DOS2 
+BISON=
+FLEX=flex
+YFLAGS=-v -t -d
+LFLAGS=
+SYSTEM_LIBDIR="\\usr\\include"
+DEFAULT_LCLIMPORTDIR="\\usr\\lib\\lclint\\imports"
+DEFAULT_LARCHPATH=".;\\usr\\lib\\lclint\\lib"
+DEFAULT_CPPCMD="cpp "
+LINKFLAGS=-B/noe setargv.obj fl.lib lclint.def
+O=.obj
+E=.exe
+OFLAG=-felclint.exe
+CAT=type
+MV=mv
+CP=cp
+ECHO="echo.exe"
diff --git a/os2/herald.h b/os2/herald.h
new file mode 100644
index 0000000..30b39dc
--- /dev/null
+++ b/os2/herald.h
@@ -0,0 +1,7 @@
+/* herald.h - created automatically from herald.os2 and Makefile.os2 */
+/*@constant observer char *LCL_VERSION;@*/
+# define LCL_VERSION "LCLint 3.0.0.15 --- Sep 11 2001"
+/*@constant observer char *LCL_PARSE_VERSION;@*/
+# define LCL_PARSE_VERSION "LCLint 3.0.0.15"
+/*@constant observer char *LCL_COMPILE;@*/
+# define LCL_COMPILE "Compiled using icc -q -W2 -Dunlink=unlink -O+ -G5 -Gf+ -Gi+ -Gs+ \n on OS/2 Tue Sep 11 16:55:42 CET 2001 i586 by herbert,\n OS/2 specific subversion is 2"
diff --git a/os2/local_constants.h b/os2/local_constants.h
new file mode 100644
index 0000000..6bb6e37
--- /dev/null
+++ b/os2/local_constants.h
@@ -0,0 +1,9 @@
+/* local_constants.h - created automatically by gmake localconstants */
+/*@constant observer char *DEFAULT_CPPCMD;@*/
+# define DEFAULT_CPPCMD "cpp "
+/*@constant observer char *SYSTEM_LIBDIR;@*/
+# define SYSTEM_LIBDIR "\\usr\\include"
+/*@constant observer char *DEFAULT_LARCHPATH;@*/
+# define DEFAULT_LARCHPATH ".;\\usr\\lib\\lclint\\lib"
+/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
+# define DEFAULT_LCLIMPORTDIR "\\usr\\lib\\lclint\\imports"
diff --git a/os2/makeos2.cmd b/os2/makeos2.cmd
index 29fde7c..6a8708c 100755
--- a/os2/makeos2.cmd
+++ b/os2/makeos2.cmd
@@ -35,6 +35,8 @@ sh -c "export TODAY=`date.exe`; export LCL_DATE=`date.exe | cut -d ' ' -f 2,3,6`
 goto end
 
 :oldconf
+if not exist %base%\src\Headers\local_constants.h copy local_constants.h %base%\src\Headers\local_constants.h
+if not exist %base%\src\Headers\heral.h copy local_constants.h %base%\src\Headers\herald.h
 make -f Makefile.os2 --directory=../src --warn-undefined-variables %2 %3 %4 %5 %6 %7 %8 %9 
 if errorlevel 0 mv ..\src\lclint.exe ..\bin
 goto end