From: evans1629 Date: Tue, 8 Jan 2002 21:45:08 +0000 (+0000) Subject: Added win32/ files to CVS X-Git-Tag: splint-3_0_1_2~17 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/747ae48b0021a9b0d928e0fc8f2a0e36421692a0 Added win32/ files to CVS --- diff --git a/src/llmain.c b/src/llmain.c index 01e404c..7b795ec 100644 --- a/src/llmain.c +++ b/src/llmain.c @@ -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!")); diff --git a/test/manual/Makefile b/test/manual/Makefile index d2dffd2..705336c 100755 --- a/test/manual/Makefile +++ b/test/manual/Makefile @@ -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 index 0000000..b39daae --- /dev/null +++ b/win32/README.1ST @@ -0,0 +1,15 @@ + Spint Version 3.0.1 + 7 January 2002 + + www.splint.org + +The win32 project file is not supported (that is, we don't test it other +than using it to build a Windows executable). We recommend using the +pre-compiled Win32 binary (available from http://www.splint.org) instead +of building a Win32 binary from the source code, and using a Unix +platform if you want to modify the Splint sources. + +This project file has been used to compile Splint using Microsoft Visual +C++ 6.0. + + diff --git a/win32/Splint/SPLINT.DSW b/win32/Splint/SPLINT.DSW new file mode 100755 index 0000000..35ecad2 --- /dev/null +++ b/win32/Splint/SPLINT.DSW @@ -0,0 +1,29 @@ +Microsoft Developer Studio Workspace File, Format Version 6.00 +# WARNING: DO NOT EDIT OR DELETE THIS WORKSPACE FILE! + +############################################################################### + +Project: "Splint"=.\Splint.dsp - Package Owner=<4> + +Package=<5> +{{{ +}}} + +Package=<4> +{{{ +}}} + +############################################################################### + +Global: + +Package=<5> +{{{ +}}} + +Package=<3> +{{{ +}}} + +############################################################################### + diff --git a/win32/Splint/Splint.dsp b/win32/Splint/Splint.dsp new file mode 100755 index 0000000..029a702 --- /dev/null +++ b/win32/Splint/Splint.dsp @@ -0,0 +1,96 @@ +# Microsoft Developer Studio Project File - Name="Splint" - Package Owner=<4> +# Microsoft Developer Studio Generated Build File, Format Version 6.00 +# ** DO NOT EDIT ** + +# TARGTYPE "Win32 (x86) Console Application" 0x0103 + +CFG=Splint - Win32 Debug +!MESSAGE This is not a valid makefile. To build this project using NMAKE, +!MESSAGE use the Export Makefile command and run +!MESSAGE +!MESSAGE NMAKE /f "Splint.mak". +!MESSAGE +!MESSAGE You can specify a configuration when running NMAKE +!MESSAGE by defining the macro CFG on the command line. For example: +!MESSAGE +!MESSAGE NMAKE /f "Splint.mak" CFG="Splint - Win32 Debug" +!MESSAGE +!MESSAGE Possible choices for configuration are: +!MESSAGE +!MESSAGE "Splint - Win32 Release" (based on "Win32 (x86) Console Application") +!MESSAGE "Splint - Win32 Debug" (based on "Win32 (x86) Console Application") +!MESSAGE + +# Begin Project +# PROP AllowPerConfigDependencies 0 +# PROP Scc_ProjName "" +# PROP Scc_LocalPath "" +CPP=cl.exe +RSC=rc.exe + +!IF "$(CFG)" == "Splint - Win32 Release" + +# PROP BASE Use_MFC 0 +# PROP BASE Use_Debug_Libraries 0 +# PROP BASE Output_Dir "Release" +# PROP BASE Intermediate_Dir "Release" +# PROP BASE Target_Dir "" +# PROP Use_MFC 0 +# PROP Use_Debug_Libraries 0 +# PROP Output_Dir "Release" +# PROP Intermediate_Dir "Release" +# PROP Target_Dir "" +# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c +# ADD CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /c +# ADD BASE RSC /l 0x409 /d "NDEBUG" +# ADD RSC /l 0x409 /d "NDEBUG" +BSC32=bscmake.exe +# ADD BASE BSC32 /nologo +# ADD BSC32 /nologo +LINK32=link.exe +# 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 +# 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 + +!ELSEIF "$(CFG)" == "Splint - Win32 Debug" + +# PROP BASE Use_MFC 0 +# PROP BASE Use_Debug_Libraries 1 +# PROP BASE Output_Dir "Debug" +# PROP BASE Intermediate_Dir "Debug" +# PROP BASE Target_Dir "" +# PROP Use_MFC 0 +# PROP Use_Debug_Libraries 1 +# PROP Output_Dir "Debug" +# PROP Intermediate_Dir "Debug" +# PROP Target_Dir "" +# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c +# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /YX /FD /GZ /c +# ADD BASE RSC /l 0x409 /d "_DEBUG" +# ADD RSC /l 0x409 /d "_DEBUG" +BSC32=bscmake.exe +# ADD BASE BSC32 /nologo +# ADD BSC32 /nologo +LINK32=link.exe +# 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 +# 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 + +!ENDIF + +# Begin Target + +# Name "Splint - Win32 Release" +# Name "Splint - Win32 Debug" +# Begin Group "Source Files" + +# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat" +# End Group +# Begin Group "Header Files" + +# PROP Default_Filter "h;hpp;hxx;hm;inl" +# End Group +# Begin Group "Resource Files" + +# PROP Default_Filter "ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe" +# End Group +# End Target +# End Project diff --git a/winconfig.h b/winconfig.h index a26b151..db477e8 100644 --- a/winconfig.h +++ b/winconfig.h @@ -16,16 +16,16 @@ #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"