]> andersk Git - splint.git/commitdiff
Added win32/ files to CVS
authorevans1629 <evans1629>
Tue, 8 Jan 2002 21:45:08 +0000 (21:45 +0000)
committerevans1629 <evans1629>
Tue, 8 Jan 2002 21:45:08 +0000 (21:45 +0000)
src/llmain.c
test/manual/Makefile
win32/README.1ST [new file with mode: 0755]
win32/Splint/SPLINT.DSW [new file with mode: 0755]
win32/Splint/Splint.dsp [new file with mode: 0755]
winconfig.h

index 01e404c959c39adbb17bff0f6073211db3a1eab1..7b795ec8209692bf20dd70131043e9aaff64ad1d 100644 (file)
@@ -547,7 +547,7 @@ static cstring findLarchPathFile (/*@temp@*/ cstring s)
   else if (status == OSD_FILENOTFOUND)
     {
       showHerald ();
-      lldiagmsg        (message ("Cannot find file on LARCHPATH: %s", s));
+      lldiagmsg        (message ("Cannot find file on LARCH_PATH: %s", s));
     }
   else if (status == OSD_PATHTOOLONG)
     {
@@ -798,7 +798,7 @@ int main (int argc, char *argv[])
              {
                nof = TRUE;
              }
-           else if (opt == FLG_SHOWSCAN || opt == FLG_WARNRC)
+           else if (opt == FLG_SHOWSCAN || opt == FLG_WARNRC || opt == FLG_PARENFILEFORMAT)
              {
                /*
                ** Need to set it immediately, so rc file scan is displayed
@@ -1008,7 +1008,7 @@ int main (int argc, char *argv[])
              opt = flags_identifyFlag (flagname);
              DPRINTF (("Flag: %s", flagcode_unparse (opt)));
 
-             if (flagcode_isSkip (opt) || opt == FLG_SHOWSCAN || opt == FLG_WARNRC)
+             if (flagcode_isSkip (opt) || opt == FLG_SHOWSCAN || opt == FLG_WARNRC || opt == FLG_PARENFILEFORMAT)
                {
                  /* showscan already processed */
                  DPRINTF (("Skipping!"));
index d2dffd20e8f262fab17360296074dc0a008e9915..705336c4b377c9b0676a5e376f74ed9f626b00da 100755 (executable)
@@ -15,7 +15,7 @@ CTOHTML = /u/evs/bin/ctohtmlplain
 BASEDIR = /u/evs/perl/basedir
 MAKERUNNER = /u/evs/lclint/scripts/makerunner
 
-SHELL = /bin/csh 
+### SHELL = /bin/csh 
 
 DIFF = diff
 
diff --git a/win32/README.1ST b/win32/README.1ST
new file mode 100755 (executable)
index 0000000..b39daae
--- /dev/null
@@ -0,0 +1,15 @@
+                         Spint Version 3.0.1\r
+                            7 January 2002\r
+                                   \r
+                            www.splint.org\r
+\r
+The win32 project file is not supported (that is, we don't test it other\r
+than using it to build a Windows executable).  We recommend using the\r
+pre-compiled Win32 binary (available from http://www.splint.org) instead\r
+of building a Win32 binary from the source code, and using a Unix\r
+platform if you want to modify the Splint sources.\r
+\r
+This project file has been used to compile Splint using Microsoft Visual\r
+C++ 6.0.\r
+\r
+\r
diff --git a/win32/Splint/SPLINT.DSW b/win32/Splint/SPLINT.DSW
new file mode 100755 (executable)
index 0000000..35ecad2
--- /dev/null
@@ -0,0 +1,29 @@
+Microsoft Developer Studio Workspace File, Format Version 6.00\r
+# WARNING: DO NOT EDIT OR DELETE THIS WORKSPACE FILE!\r
+\r
+###############################################################################\r
+\r
+Project: "Splint"=.\Splint.dsp - Package Owner=<4>\r
+\r
+Package=<5>\r
+{{{\r
+}}}\r
+\r
+Package=<4>\r
+{{{\r
+}}}\r
+\r
+###############################################################################\r
+\r
+Global:\r
+\r
+Package=<5>\r
+{{{\r
+}}}\r
+\r
+Package=<3>\r
+{{{\r
+}}}\r
+\r
+###############################################################################\r
+\r
diff --git a/win32/Splint/Splint.dsp b/win32/Splint/Splint.dsp
new file mode 100755 (executable)
index 0000000..029a702
--- /dev/null
@@ -0,0 +1,96 @@
+# Microsoft Developer Studio Project File - Name="Splint" - Package Owner=<4>\r
+# Microsoft Developer Studio Generated Build File, Format Version 6.00\r
+# ** DO NOT EDIT **\r
+\r
+# TARGTYPE "Win32 (x86) Console Application" 0x0103\r
+\r
+CFG=Splint - Win32 Debug\r
+!MESSAGE This is not a valid makefile. To build this project using NMAKE,\r
+!MESSAGE use the Export Makefile command and run\r
+!MESSAGE \r
+!MESSAGE NMAKE /f "Splint.mak".\r
+!MESSAGE \r
+!MESSAGE You can specify a configuration when running NMAKE\r
+!MESSAGE by defining the macro CFG on the command line. For example:\r
+!MESSAGE \r
+!MESSAGE NMAKE /f "Splint.mak" CFG="Splint - Win32 Debug"\r
+!MESSAGE \r
+!MESSAGE Possible choices for configuration are:\r
+!MESSAGE \r
+!MESSAGE "Splint - Win32 Release" (based on "Win32 (x86) Console Application")\r
+!MESSAGE "Splint - Win32 Debug" (based on "Win32 (x86) Console Application")\r
+!MESSAGE \r
+\r
+# Begin Project\r
+# PROP AllowPerConfigDependencies 0\r
+# PROP Scc_ProjName ""\r
+# PROP Scc_LocalPath ""\r
+CPP=cl.exe\r
+RSC=rc.exe\r
+\r
+!IF  "$(CFG)" == "Splint - Win32 Release"\r
+\r
+# PROP BASE Use_MFC 0\r
+# PROP BASE Use_Debug_Libraries 0\r
+# PROP BASE Output_Dir "Release"\r
+# PROP BASE Intermediate_Dir "Release"\r
+# PROP BASE Target_Dir ""\r
+# PROP Use_MFC 0\r
+# PROP Use_Debug_Libraries 0\r
+# PROP Output_Dir "Release"\r
+# PROP Intermediate_Dir "Release"\r
+# PROP Target_Dir ""\r
+# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c\r
+# ADD CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c\r
+# ADD BASE RSC /l 0x409 /d "NDEBUG"\r
+# ADD RSC /l 0x409 /d "NDEBUG"\r
+BSC32=bscmake.exe\r
+# ADD BASE BSC32 /nologo\r
+# ADD BSC32 /nologo\r
+LINK32=link.exe\r
+# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib  kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /machine:I386\r
+# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib  kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /machine:I386\r
+\r
+!ELSEIF  "$(CFG)" == "Splint - Win32 Debug"\r
+\r
+# PROP BASE Use_MFC 0\r
+# PROP BASE Use_Debug_Libraries 1\r
+# PROP BASE Output_Dir "Debug"\r
+# PROP BASE Intermediate_Dir "Debug"\r
+# PROP BASE Target_Dir ""\r
+# PROP Use_MFC 0\r
+# PROP Use_Debug_Libraries 1\r
+# PROP Output_Dir "Debug"\r
+# PROP Intermediate_Dir "Debug"\r
+# PROP Target_Dir ""\r
+# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ  /c\r
+# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ  /c\r
+# ADD BASE RSC /l 0x409 /d "_DEBUG"\r
+# ADD RSC /l 0x409 /d "_DEBUG"\r
+BSC32=bscmake.exe\r
+# ADD BASE BSC32 /nologo\r
+# ADD BSC32 /nologo\r
+LINK32=link.exe\r
+# ADD BASE LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib  kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /pdbtype:sept\r
+# ADD LINK32 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib  kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /debug /machine:I386 /pdbtype:sept\r
+\r
+!ENDIF \r
+\r
+# Begin Target\r
+\r
+# Name "Splint - Win32 Release"\r
+# Name "Splint - Win32 Debug"\r
+# Begin Group "Source Files"\r
+\r
+# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"\r
+# End Group\r
+# Begin Group "Header Files"\r
+\r
+# PROP Default_Filter "h;hpp;hxx;hm;inl"\r
+# End Group\r
+# Begin Group "Resource Files"\r
+\r
+# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe"\r
+# End Group\r
+# End Target\r
+# End Project\r
index a26b151fcc044b92e8ff9f8f01317a94a7b285bf..db477e88ca8ccc5b988ea8a87c8c1fbaaa7a4663 100644 (file)
 #define GCC_INCLUDE_DIR2 "C:/local/include"
 
 /* String describing who compiled this binary and how */
-#define LCL_COMPILE "Compiled using Microsoft Visual C++ by evans"
+#define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0"
 
 /* Splint's version number */
-#define LCL_PARSE_VERSION "Splint 3.0.1"
+#define LCL_PARSE_VERSION "Splint 3.0.1.1"
 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
 /* Splint's version number and configure/build date */
-#define SPLINT_VERSION "Splint 3.0.1 --- 07 Jan 2002"
+#define SPLINT_VERSION "Splint 3.0.1.1 --- 08 Jan 2002"
 
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "C:/include"
This page took 0.064216 seconds and 5 git commands to generate.