From ethros at earthlink.net Thu Nov 1 05:36:43 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Thu, 01 Nov 2007 09:36:43 -0400 Subject: [splint-discuss] Platforms Message-ID: <0JQT0039VXTJJR30@mta1.srv.hcvlny.cv.net> Dear list - I am a newbie, so pardon me if this has been answered previously.... Will splint run on DOS, specifically DOS 7.1 [the DOS component of Win 98]? I have a computer running only DOS 7.1 w/o Win 98. Much thanks. Ethan From lholzheid at bihl-wiedemann.de Sun Nov 4 03:56:11 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Sun, 4 Nov 2007 12:56:11 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <0JQT0039VXTJJR30@mta1.srv.hcvlny.cv.net> References: <0JQT0039VXTJJR30@mta1.srv.hcvlny.cv.net> Message-ID: <20071104115611.GA16642@svr5.bihl-wiedemann.de> On Thu, 2007-11-01 09:36:43 -0400, Ethan Rosenberg wrote: > > Will splint run on DOS, specifically DOS 7.1 [the DOS component of > Win 98]? I have a computer running only DOS 7.1 w/o Win 98. Hi Ethan, I doubt splint will compile on an 16-bit operating system, so I'm pretty sure you won't get a native DOS splint. However, I remember there have been 32-bit DOS extensions (emx et al.). As I don't think they provide a POSIX shell environment, don't know how to run the configure script on an extended DOS, though. HTH Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From ethros at earthlink.net Sun Nov 4 22:30:20 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Mon, 05 Nov 2007 01:30:20 -0500 Subject: [splint-discuss] Platforms In-Reply-To: <20071104115611.GA16642@svr5.bihl-wiedemann.de> References: <0JQT0039VXTJJR30@mta1.srv.hcvlny.cv.net> <20071104115611.GA16642@svr5.bihl-wiedemann.de> Message-ID: <0JR000CYPPYWDWC0@mta1.srv.hcvlny.cv.net> At 06:56 AM 11/4/2007, you wrote: >On Thu, 2007-11-01 09:36:43 -0400, Ethan Rosenberg wrote: > > > > Will splint run on DOS, specifically DOS 7.1 [the DOS component of > > Win 98]? I have a computer running only DOS 7.1 w/o Win 98. > >Hi Ethan, > >I doubt splint will compile on an 16-bit operating system, so I'm >pretty sure you won't get a native DOS splint. However, I remember >there have been 32-bit DOS extensions (emx et al.). > >As I don't think they provide a POSIX shell environment, don't know >how to run the configure script on an extended DOS, though. > >HTH > >Ludolf > >-- > >--------------------------------------------------------------- >Ludolf Holzheid Tel: +49 621 339960 >Bihl+Wiedemann GmbH Fax: +49 621 3392239 >Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de >D-68199 Mannheim, Germany >--------------------------------------------------------------- Ludolf - I added a DPMI server [cwsdpmi] and I receive a message "will not run on DOS systems". I thought that a DPMI server is supposed to allow 32 bit programs run under DOS. Is there any work around. Could someone help with this one. Thanks. Ethan From lholzheid at bihl-wiedemann.de Sun Nov 4 22:56:56 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Mon, 5 Nov 2007 07:56:56 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <0JR000CYPPYWDWC0@mta1.srv.hcvlny.cv.net> References: <0JQT0039VXTJJR30@mta1.srv.hcvlny.cv.net> <20071104115611.GA16642@svr5.bihl-wiedemann.de> <0JR000CYPPYWDWC0@mta1.srv.hcvlny.cv.net> Message-ID: <20071105065656.GC29119@svr5.bihl-wiedemann.de> On Mon, 2007-11-05 01:30:20 -0500, Ethan Rosenberg wrote: > At 06:56 AM 11/4/2007, you wrote: > >On Thu, 2007-11-01 09:36:43 -0400, Ethan Rosenberg wrote: > >> > >> Will splint run on DOS, specifically DOS 7.1 [the DOS component of > >> Win 98]? I have a computer running only DOS 7.1 w/o Win 98. > > > >[..] > > > >I doubt splint will compile on an 16-bit operating system, so I'm > >pretty sure you won't get a native DOS splint. However, I remember > >there have been 32-bit DOS extensions (emx et al.). > > > >[..] > > I added a DPMI server [cwsdpmi] and I receive a > message "will not run on DOS systems". I thought > that a DPMI server is supposed to allow 32 bit > programs run under DOS. Ethan, If you extend DOS with a 32-bit memory manager, you don't get Win32. Windows binaries will not run on DOS. If you want to use Splint on a DOS-only box, you'll have to get a DOS binary. Either you find one on the net, or you compile splint on/for your system. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From ethros at earthlink.net Tue Nov 6 21:54:23 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Wed, 07 Nov 2007 00:54:23 -0500 Subject: [splint-discuss] Platforms Message-ID: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> At 06:56 AM 11/4/2007, you wrote: >On Thu, 2007-11-01 09:36:43 -0400, Ethan Rosenberg wrote: > > > > Will splint run on DOS, specifically DOS 7.1 [the DOS component of > > Win 98]? I have a computer running only DOS 7.1 w/o Win 98. > >Hi Ethan, > >I doubt splint will compile on an 16-bit operating system, so I'm >pretty sure you won't get a native DOS splint. However, I remember >there have been 32-bit DOS extensions (emx et al.). > >As I don't think they provide a POSIX shell environment, don't know >how to run the configure script on an extended DOS, though. > >HTH > >Ludolf > >-- > >--------------------------------------------------------------- >Ludolf Holzheid Tel: +49 621 339960 >Bihl+Wiedemann GmbH Fax: +49 621 3392239 >Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de >D-68199 Mannheim, Germany >--------------------------------------------------------------- Ludolf - I added a DPMI server [cwsdpmi] and I receive a message "will not run on DOS systems". I thought that a DPMI server is supposed to allow 32 bit programs run under DOS. Is there any work around. Could someone help with this one. Thanks. Ethan ++++++++++ Ludolf - I have a 32 bit C [DJGPP] which runs on DOS. It is port to DOS of the GNU C compiler. If someone has the source code, in a zip file, and can provide information for compilation and installation, I would like to try. Thanks to all. Ethan From lholzheid at bihl-wiedemann.de Wed Nov 7 00:20:01 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Wed, 7 Nov 2007 09:20:01 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> References: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> Message-ID: <20071107082001.GA29722@svr5.bihl-wiedemann.de> On Wed, 2007-11-07 00:54:23 -0500, Ethan Rosenberg wrote: > [..] > I have a 32 bit C [DJGPP] which runs on DOS. It > is port to DOS of the GNU C compiler. If someone > has the source code, in a zip file, and can > provide information for compilation and installation, I would like to try. Hi Ethan, The splint sources are available for download on http://www.splint.org. If DJGPP provides a POSIX shell, the instructions on http://www.splint.org/source.html should work. Else, you'll have to write your own config.h and Makefiles. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From ethros at earthlink.net Wed Nov 7 07:25:26 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Wed, 07 Nov 2007 10:25:26 -0500 Subject: [splint-discuss] Platforms In-Reply-To: <20071107082001.GA29722@svr5.bihl-wiedemann.de> References: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> <20071107082001.GA29722@svr5.bihl-wiedemann.de> Message-ID: <0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net> At 03:20 AM 11/7/2007, Ludolf Holzheid wrote: >On Wed, 2007-11-07 00:54:23 -0500, Ethan Rosenberg wrote: > > [..] > > I have a 32 bit C [DJGPP] which runs on DOS. It > > is port to DOS of the GNU C compiler. If someone > > has the source code, in a zip file, and can > > provide information for compilation and installation, I would like to try. > >Hi Ethan, > >The splint sources are available for download on >http://www.splint.org. > >If DJGPP provides a POSIX shell, the instructions on >http://www.splint.org/source.html should work. Else, you'll have to >write your own config.h and Makefiles. > >Ludolf > >-- > >--------------------------------------------------------------- >Ludolf Holzheid Tel: +49 621 339960 >Bihl+Wiedemann GmbH Fax: +49 621 3392239 >Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de >D-68199 Mannheim, Germany >--------------------------------------------------------------- ============= Ludolf - Thanks. I checked, and all I can seem to find is a TAR file, which I cannot handle in DOS. Advice and help please. Ethan From lholzheid at bihl-wiedemann.de Wed Nov 7 06:56:16 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Wed, 7 Nov 2007 15:56:16 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net> References: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> <20071107082001.GA29722@svr5.bihl-wiedemann.de> <0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net> Message-ID: <20071107145616.GA16737@svr5.bihl-wiedemann.de> On Wed, 2007-11-07 10:25:26 -0500, Ethan Rosenberg wrote: > At 03:20 AM 11/7/2007, Ludolf Holzheid wrote: >> [..] >> The splint sources are available for download on >> http://www.splint.org. >> [..] > > I checked, and all I can seem to find is a TAR > file, which I cannot handle in DOS. Hi Ethan, Can't you use the box your Eudora is running on (or any other box running Windows or Unix) to unzip the tgz? Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From lionel_debroux at yahoo.fr Wed Nov 7 07:02:11 2007 From: lionel_debroux at yahoo.fr (Lionel Debroux) Date: Wed, 7 Nov 2007 16:02:11 +0100 (CET) Subject: [splint-discuss] Platforms In-Reply-To: <0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net> Message-ID: <881620.49217.qm@web52912.mail.re2.yahoo.com> Ethan Rosenberg wrote: > I checked, and all I can seem to find is a TAR > file, which I cannot handle in DOS. You can untar the file in pretty much every system you can think about, Windows inclued. Many programs, e.g. 7-Zip on Windows, handle TARballs. Then, you'll be able to transfer the files to your DOS machine, either on a file by file basis, or within a ZIP file, which you can unpack with pkunzip. Lionel. _____________________________________________________________________________ Ne gardez plus qu'une seule adresse mail ! Copiez vos mails vers Yahoo! Mail From egor.ryabkov at sioux.eu Thu Nov 15 06:46:46 2007 From: egor.ryabkov at sioux.eu (Yegor Ryabkov) Date: Thu, 15 Nov 2007 15:46:46 +0100 (CET) Subject: [splint-discuss] Setting flags in file and in command line Message-ID: <54318.213.126.128.209.1195138006.squirrel@webmail.onlinespamfilter.nl> Greetings, I've found that splint (ver. 3.1.1) behaves differently when I list flags in command line or in a file (using "-f filename" option). Command line case works OK, but when I try to use file with flags, I get the following error message: Command Line: Setting mode weak after setting mode flags will override set values of flags: varuse, ignoresigns, matchanyintegral Command line sets flag in abnormal way (Use -warnflags to inhibit warning) Flags that are overridden really don't work. Command line call is: splint -weak *.c (include section) -f lint.ini so in fact -weak is set _before_ setting flags, so splint seems to behave strangely. Is there any way to make splint work correctly with a flag file? Lint.ini which is used in the example: +single-include -fixedformalarray -fullinitblock +matchanyintegral +ignoresigns -redef -type -nestcomment -macrovarprefixexclude -varuse Best regards, Yegor. From lholzheid at bihl-wiedemann.de Thu Nov 15 08:37:47 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Thu, 15 Nov 2007 17:37:47 +0100 Subject: [splint-discuss] Setting flags in file and in command line In-Reply-To: <54318.213.126.128.209.1195138006.squirrel@webmail.onlinespamfilter.nl> References: <54318.213.126.128.209.1195138006.squirrel@webmail.onlinespamfilter.nl> Message-ID: <20071115163747.GA23953@svr5.bihl-wiedemann.de> On Thu, 2007-11-15 15:46:46 +0100, Yegor Ryabkov wrote: > Greetings, > > I've found that splint (ver. 3.1.1) behaves differently when I list flags > in command line or in a file (using "-f filename" option). > > Command line case works OK, but when I try to use file with flags, I get > the following error message: > > Command Line: Setting mode weak after setting mode flags will override set > values of flags: varuse, ignoresigns, matchanyintegral > Command line sets flag in abnormal way (Use -warnflags to inhibit warning) > > Flags that are overridden really don't work. > > Command line call is: > splint -weak *.c (include section) -f lint.ini > so in fact -weak is set _before_ setting flags, so splint seems to behave > strangely. > > Is there any way to make splint work correctly with a flag file? Hi Yegor, as far as I understand the documentation, the flags from the various sources are processed in the following order: (1) the flags in ~/.splintrc (or the file given by the '-f' flag) (2) the flags in ./.splintrc (3) the flags on the command line (other than '-f') thus, the position of '-f' on the command line has no influence on the order of flags as processed by splint. To get rid of the warning message, you could move the '-weak' flag from the command line to the top of 'lint.ini'. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From ethros at earthlink.net Sun Nov 18 15:35:37 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Sun, 18 Nov 2007 18:35:37 -0500 Subject: [splint-discuss] Platforms In-Reply-To: <20071107145616.GA16737@svr5.bihl-wiedemann.de> References: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net> <20071107082001.GA29722@svr5.bihl-wiedemann.de> <0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net> <20071107145616.GA16737@svr5.bihl-wiedemann.de> Message-ID: <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net> At 08:56 AM 11/7/2007, Ludolf Holzheid wrote: >On Wed, 2007-11-07 10:25:26 -0500, Ethan Rosenberg wrote: > > At 03:20 AM 11/7/2007, Ludolf Holzheid wrote: > >> [..] > >> The splint sources are available for download on > >> http://www.splint.org. > >> [..] > > > > I checked, and all I can seem to find is a TAR > > file, which I cannot handle in DOS. > >Hi Ethan, > >Can't you use the box your Eudora is running on (or any other box >running Windows or Unix) to unzip the tgz? > >Ludolf > >-- > >--------------------------------------------------------------- >Ludolf Holzheid Tel: +49 621 339960 >Bihl+Wiedemann GmbH Fax: +49 621 3392239 >Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de >D-68199 Mannheim, Germany >--------------------------------------------------------------- Ludolf - Thank you. I was able to unzip it on my windows box, and xcopy it to my DOS box. If I try to run configure, it cannot find the file [configure], and make cannot find a target. Can someone please walk me thru this. Thanks again. Ethan From Michael.Wojcik at MicroFocus.com Mon Nov 19 06:48:08 2007 From: Michael.Wojcik at MicroFocus.com (Michael Wojcik) Date: Mon, 19 Nov 2007 06:48:08 -0800 Subject: [splint-discuss] Platforms In-Reply-To: <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net> References: <0JR400B21DMV8P01@mta3.srv.hcvlny.cv.net><20071107082001.GA29722@svr5.bihl-wiedemann.de><0JR5008Y142N01H0@mta4.srv.hcvlny.cv.net><20071107145616.GA16737@svr5.bihl-wiedemann.de> <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net> Message-ID: <11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> > From: splint-discuss-bounces at cs.virginia.edu > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of > Ethan Rosenberg > Sent: Sunday, 18 November, 2007 18:36 > > I was able to unzip it on my windows box, and xcopy it to my > DOS box. If I try to run configure, it cannot find the file > [configure], and make cannot find a target. Can someone > please walk me thru this. You're not going to be able to configure Splint to build under DOS. The FAT32 filesystem doesn't support long file names, for one thing. To get a splint binary that works under DOS you'd have to do a wholesale port of the technology. I don't think it's feasible. Since you have a Windows system available, why don't you copy your sources (and any headers they use) to that, and run the Windows splint binary against them there? You don't need to run splint on your target system. -- Michael Wojcik Principal Software Systems Developer, Micro Focus From ethros at earthlink.net Mon Nov 19 16:49:46 2007 From: ethros at earthlink.net (Ethan Rosenberg) Date: Mon, 19 Nov 2007 19:49:46 -0500 Subject: [splint-discuss] Platforms Message-ID: <0JRS008E84ZLNQ11@mta2.srv.hcvlny.cv.net> Content-Transfer-Encoding: 8bit From: "Michael Wojcik" Precedence: list MIME-Version: 1.0 To: "Discussions about the Splint annotation-assisted static analysisproject" References: <0JR400B21DMV8P01 at mta3.srv.hcvlny.cv.net><20071107082001.GA29722 at svr5.bihl-wiedemann.de><0JR5008Y142N01H0 at mta4.srv.hcvlny.cv.net><20071107145616.GA16737 at svr5.bihl-wiedemann.de> <0JRQ007UQ6VWVU90 at mta4.srv.hcvlny.cv.net> In-Reply-To: <0JRQ007UQ6VWVU90 at mta4.srv.hcvlny.cv.net> Date: Mon, 19 Nov 2007 06:48:08 -0800 Reply-To: Discussions about the Splint annotation-assisted static analysis project Message-ID: <11352F9641010A418AD5057945A3A6598B48AD at MTV-EXCHANGE.microfocus.com> Content-Type: text/plain; charset="us-ascii" Subject: Re: [splint-discuss] Platforms Message: 10 > From: splint-discuss-bounces at cs.virginia.edu > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of > Ethan Rosenberg > Sent: Sunday, 18 November, 2007 18:36 > > I was able to unzip it on my windows box, and xcopy it to my > DOS box. If I try to run configure, it cannot find the file > [configure], and make cannot find a target. Can someone > please walk me thru this. You're not going to be able to configure Splint to build under DOS. The FAT32 filesystem doesn't support long file names, for one thing. To get a splint binary that works under DOS you'd have to do a wholesale port of the technology. I don't think it's feasible. Since you have a Windows system available, why don't you copy your sources (and any headers they use) to that, and run the Windows splint binary against them there? You don't need to run splint on your target system. -- Michael Wojcik Principal Software Systems Developer, Micro Focus ++++++++++++++ Michael - Thank you. I am running DOS 7.1 [the DOS part of Win 98 w/o the Win 98 component], which does support long file names. I have a DOS port of gcc [DJGPP]. Putting both of these together, I thought that I would able to compile splint on my DOS box. A DPMI server has allowed me to run 32 bit programs on this machine, and for that matter, they even ran on DOS 6.2. My C compiler is on the DOS box, and my wife uses the Win 2000 box for her work, which is the reason I do not try to run splint on the Win 2000 box. Additionally, to compile/run a file on the DOS box, and then take the source to the Win 2000 box to run splint, I think would be rather tedious. Given all the above, can someone please help. Thanks again. Ethan From david.zhao at oracle.com Mon Nov 19 21:48:04 2007 From: david.zhao at oracle.com (David Zhao) Date: Tue, 20 Nov 2007 13:48:04 +0800 Subject: [splint-discuss] yywrap missing Message-ID: <47427514.3090106@oracle.com> I downloaded splint-3.1.2 from the sourceforge website and tried to build it on Ubuntu Linux, but there are two link errors: Undefined reference to "yywrap". Note that I have installed flex before building splint, so libfl.a is in /usr/local/lib directory. Could any tell me how to handle these errors? Thanks a lot! From lholzheid at bihl-wiedemann.de Mon Nov 19 23:59:23 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Tue, 20 Nov 2007 08:59:23 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> References: <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net> <11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> Message-ID: <20071120075923.GA25053@svr5.bihl-wiedemann.de> On Mon, 2007-11-19 06:48:08 -0800, Michael Wojcik wrote: > > From: splint-discuss-bounces at cs.virginia.edu > > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of > > Ethan Rosenberg > > Sent: Sunday, 18 November, 2007 18:36 > > > > I was able to unzip it on my windows box, and xcopy it to my > > DOS box. If I try to run configure, it cannot find the file > > [configure], and make cannot find a target. Can someone > > please walk me thru this. > > You're not going to be able to configure Splint to build under DOS. The > FAT32 filesystem doesn't support long file names, for one thing. I'm not sure splint depends on long file names. > To get a splint binary that works under DOS you'd have to do a wholesale > port of the technology. I don't think it's feasible. If no POSIX environment is available to run the configure script, the main part would be to generate config.h and Makefile (from config.h.in and Makefile.in) by hand. It may be somewhat tricky, but feasible in any case. > Since you have a Windows system available, why don't you copy your > sources (and any headers they use) to that, and run the Windows splint > binary against them there? You don't need to run splint on your target > system. But the DOS box seems to be the development system ... -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From lholzheid at bihl-wiedemann.de Tue Nov 20 00:08:44 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Tue, 20 Nov 2007 09:08:44 +0100 Subject: [splint-discuss] yywrap missing In-Reply-To: <47427514.3090106@oracle.com> References: <47427514.3090106@oracle.com> Message-ID: <20071120080844.GB25053@svr5.bihl-wiedemann.de> On Tue, 2007-11-20 13:48:04 +0800, David Zhao wrote: > I downloaded splint-3.1.2 from the sourceforge website and tried to > build it on Ubuntu Linux, but there are two link errors: Undefined > reference to "yywrap". > Note that I have installed flex before building splint, so libfl.a is in > /usr/local/lib directory. > Could any tell me how to handle these errors? Does the linker try to link against libfl.a, i.e. is there a "-lfl" argument for the linker? -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From lholzheid at bihl-wiedemann.de Mon Nov 19 23:59:23 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Tue, 20 Nov 2007 08:59:23 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> References: <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net> <11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> Message-ID: <20071120075923.GA25053@svr5.bihl-wiedemann.de> On Mon, 2007-11-19 06:48:08 -0800, Michael Wojcik wrote: > > From: splint-discuss-bounces at cs.virginia.edu > > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of > > Ethan Rosenberg > > Sent: Sunday, 18 November, 2007 18:36 > > > > I was able to unzip it on my windows box, and xcopy it to my > > DOS box. If I try to run configure, it cannot find the file > > [configure], and make cannot find a target. Can someone > > please walk me thru this. > > You're not going to be able to configure Splint to build under DOS. The > FAT32 filesystem doesn't support long file names, for one thing. I'm not sure splint depends on long file names. > To get a splint binary that works under DOS you'd have to do a wholesale > port of the technology. I don't think it's feasible. If no POSIX environment is available to run the configure script, the main part would be to generate config.h and Makefile (from config.h.in and Makefile.in) by hand. It may be somewhat tricky, but feasible in any case. > Since you have a Windows system available, why don't you copy your > sources (and any headers they use) to that, and run the Windows splint > binary against them there? You don't need to run splint on your target > system. But the DOS box seems to be the development system ... -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From Michael.Wojcik at MicroFocus.com Tue Nov 20 08:44:53 2007 From: Michael.Wojcik at MicroFocus.com (Michael Wojcik) Date: Tue, 20 Nov 2007 08:44:53 -0800 Subject: [splint-discuss] Platforms In-Reply-To: <20071120075923.GA25053@svr5.bihl-wiedemann.de> References: <0JRQ007UQ6VWVU90@mta4.srv.hcvlny.cv.net><11352F9641010A418AD5057945A3A6598B48AD@MTV-EXCHANGE.microfocus.com> <20071120075923.GA25053@svr5.bihl-wiedemann.de> Message-ID: <11352F9641010A418AD5057945A3A6598B48B7@MTV-EXCHANGE.microfocus.com> > From: splint-discuss-bounces at cs.virginia.edu > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of > Ludolf Holzheid > Sent: Tuesday, 20 November, 2007 02:59 > > On Mon, 2007-11-19 06:48:08 -0800, Michael Wojcik wrote: > > > > You're not going to be able to configure Splint to build under DOS. > > The > > FAT32 filesystem doesn't support long file names, for one thing. > > I'm not sure splint depends on long file names. I'm not sure it does either, but "configure" is nine characters long. Quite a few of the Splint source files have names that aren't 8.3. > > To get a splint binary that works under DOS you'd have to do a > > wholesale port of the technology. I don't think it's feasible. > > If no POSIX environment is available to run the configure > script, the main part would be to generate config.h and > Makefile (from config.h.in and Makefile.in) by hand. Sure. That'll be fun. And emulate M4 to process aclocal.m4, and emulate Flex and Bison to build the lexer and parser, and ... Without a POSIX environment I think building Splint might be something of a chore. > It may be somewhat tricky, but feasible in any case. Manually configuring it, yes. Getting it to run under DOS is a much larger task. Though since it turns out the OP is using DOS 7.1, it might be a bit more plausible than I initially thought. In general, porting non-trivial software designed for a 32-bit virtual-memory OS with a reasonably capable API to the limited monitor that DOS provides is not simple. Back in the day I ported quite a bit of Unix software to DOS, including things like diff and RCS, and it was a chore. Now, that was circa DOS 4 and 5, and DOS 7 is more capable. But this isn't a project I would personally want to devote my resources to. > > Since you have a Windows system available, why don't you copy your > > sources (and any headers they use) to that, and run the Windows splint > > binary against them there? You don't need to run splint on your target > > system. > > But the DOS box seems to be the development system ... So what? You don't need to run Splint on the development system. The software I check with Splint is built on a dozen or so platforms, but I only run Splint on one of them - and I could check it with Splint on a platform that it's not built on, if that were my only choice. Splint doesn't have to be run as part of the build process. It's not necessary to check the code after every single change; it's probably not even desirable. If it were me, I wouldn't even be working on the DOS machine. I'd do my development on Linux or Windows, with DOS running in a VM, and have my development environment use the VM scripting APIs to drive remote compilation. Has no one else here ever done any cross-system development? This isn't a novel suggestion. Hey, if the OP really wants to port Splint to DOS 7, I won't stand in his way. It's certainly likely to be an educational experience, anyway. I'm just suggesting that it may not be the optimal approach. -- Michael Wojcik Principal Software Systems Developer, Micro Focus From prdorrell at micromill.com Tue Nov 20 09:06:11 2007 From: prdorrell at micromill.com (Paul Dorrell) Date: Tue, 20 Nov 2007 17:06:11 -0000 Subject: [splint-discuss] Problems finding standard.lcd Message-ID: In October, Peter Chapin posted with a very similar problem to one I've encountered today ... In my case I'm using splint v3.1.1 on Windows to check embedded code ... I need to point splint to the directory with the embedded compiler versions of stdio.h. I've tried putting into the splint.rc file the following line with the appropriate path ... +I"C:\Program Files\PICC\Devices" .... but splint still does not find stdio.h when run. The only way I've got it to work is to copy the relevant file to my source code directory ... Is there the common solution to both my path problem ... and Peter's too? Paul Dorrell ______________________________________________________________________ This email has been scanned by the MessageLabs Email Security System. For more information please visit http://www.messagelabs.com/email ______________________________________________________________________ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071120/b8e38ade/attachment-0001.html From Peter.Chapin at vtc.vsc.edu Tue Nov 20 16:04:40 2007 From: Peter.Chapin at vtc.vsc.edu (Peter C. Chapin) Date: Tue, 20 Nov 2007 19:04:40 -0500 Subject: [splint-discuss] Problems finding standard.lcd In-Reply-To: References: Message-ID: <47437618.5030202@vtc.vsc.edu> Paul Dorrell wrote: > Is there the common solution to both my path problem ... and Peter?s too? > I figured out what was going on in my case; perhaps this will be helpful to you as well. The issue for me was that splint only allows a single splint library to be loaded. I was using -load to specify a file containing my compiled annotations for a third party library I'm using. Because I used -load, splint was not loading the standard library information (standard.lcd). To solve this problem I merged the distributed standard.h file into my annotated header and compiled them both into a single *.lcd file. Specifically I copied standard.h from the splint distribution into my project directory. Next I created a header named splintlib.h like this: #include "standard.h" #include "mystuff.h" I then compiled this header with the command splint -nolib -nof splintlib.h -dump splintlib.lcd Finally I modified my .spintrc to include "-load splintlib" This brings my annotations of the third party library and the distributed annotations for the standard library into splint with a single -load command. From what I can see, it's the only way to do this. It seems to work fine. Peter -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071120/68a07071/attachment.html -------------- next part -------------- A non-text attachment was scrubbed... Name: Peter_Chapin.vcf Type: text/x-vcard Size: 319 bytes Desc: not available Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071120/68a07071/attachment.vcf From lholzheid at bihl-wiedemann.de Fri Nov 30 00:17:15 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Fri, 30 Nov 2007 09:17:15 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <11352F9641010A418AD5057945A3A6598B48B7@MTV-EXCHANGE.microfocus.com> References: <20071120075923.GA25053@svr5.bihl-wiedemann.de> <11352F9641010A418AD5057945A3A6598B48B7@MTV-EXCHANGE.microfocus.com> Message-ID: <20071130081715.GA27302@svr5.bihl-wiedemann.de> On Tue, 2007-11-20 08:44:53 -0800, Michael Wojcik wrote: > [..] > > If no POSIX environment is available to run the configure > > script, the main part would be to generate config.h and > > Makefile (from config.h.in and Makefile.in) by hand. > > Sure. That'll be fun. And emulate M4 to process aclocal.m4, and emulate > Flex and Bison to build the lexer and parser, and ... You don't need to emulate M4 to write config.h and a Makefile. As a human being, you are able to find out the system include directories and which system library functions are available by e.g. reading man pages. BTW, Flex and Bison are available even on plain 16-bit DOS (or at least have been at the ages of Win 3.11). > [..] > In general, porting non-trivial software designed for a 32-bit > virtual-memory OS with a reasonably capable API to the limited monitor > that DOS provides is not simple. Back in the day I ported quite a bit of > Unix software to DOS, including things like diff and RCS, and it was a > chore. I do believe that. However, Ethan's target system does provide 32bit virtual memory and a reasonable libc (coming with the 32-bit DOS port of gcc). > [..] > > But the DOS box seems to be the development system ... > > So what? You don't need to run Splint on the development system. The > software I check with Splint is built on a dozen or so platforms, but I > only run Splint on one of them - and I could check it with Splint on a > platform that it's not built on, if that were my only choice. Fair enough. > [..] > Hey, if the OP really wants to port Splint to DOS 7, I won't stand in > his way. As I don't want to persuade him to do so - We seem to be carrying something like a ghost debate ... Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From lholzheid at bihl-wiedemann.de Fri Nov 30 00:17:15 2007 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Fri, 30 Nov 2007 09:17:15 +0100 Subject: [splint-discuss] Platforms In-Reply-To: <11352F9641010A418AD5057945A3A6598B48B7@MTV-EXCHANGE.microfocus.com> References: <20071120075923.GA25053@svr5.bihl-wiedemann.de> <11352F9641010A418AD5057945A3A6598B48B7@MTV-EXCHANGE.microfocus.com> Message-ID: <20071130081715.GA27302@svr5.bihl-wiedemann.de> On Tue, 2007-11-20 08:44:53 -0800, Michael Wojcik wrote: > [..] > > If no POSIX environment is available to run the configure > > script, the main part would be to generate config.h and > > Makefile (from config.h.in and Makefile.in) by hand. > > Sure. That'll be fun. And emulate M4 to process aclocal.m4, and emulate > Flex and Bison to build the lexer and parser, and ... You don't need to emulate M4 to write config.h and a Makefile. As a human being, you are able to find out the system include directories and which system library functions are available by e.g. reading man pages. BTW, Flex and Bison are available even on plain 16-bit DOS (or at least have been at the ages of Win 3.11). > [..] > In general, porting non-trivial software designed for a 32-bit > virtual-memory OS with a reasonably capable API to the limited monitor > that DOS provides is not simple. Back in the day I ported quite a bit of > Unix software to DOS, including things like diff and RCS, and it was a > chore. I do believe that. However, Ethan's target system does provide 32bit virtual memory and a reasonable libc (coming with the 32-bit DOS port of gcc). > [..] > > But the DOS box seems to be the development system ... > > So what? You don't need to run Splint on the development system. The > software I check with Splint is built on a dozen or so platforms, but I > only run Splint on one of them - and I could check it with Splint on a > platform that it's not built on, if that were my only choice. Fair enough. > [..] > Hey, if the OP really wants to port Splint to DOS 7, I won't stand in > his way. As I don't want to persuade him to do so - We seem to be carrying something like a ghost debate ... Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany ---------------------------------------------------------------