[splint-discuss] Is this a splint problem, a Cygwin problem, or a stupidity problem?

[Philip Goetz]

Hi - I'm trying to get splint to work under Cygwin.
My problem is that I can't get it to read any of the paths I give it.
This is how I try to set the paths in my .bashrc:

alias splint="splint -I/usr/include/c++/3.3.3:usr/local/include"

# LARCH_PATH is for splint
export SPLINT=/cygdrive/c/lang/C/splint-3.0.1.6
export LCLIMPORTDIR=$SPLINT/imports
export LARCH_PATH=$SPLINT/lib:/usr/lib:/usr/local/lib


Splint then fails to find, well, everything.
It fails to find standard.lcd, which is on LARCH_PATH,
and it fails to find every single include file in /usr/include/c++/3.3.3


$ printenv LARCH_PATH
/cygdrive/c/lang/C/splint-3.0.1.6/lib:/usr/lib:/usr/local/lib

$ printenv LCLIMPORTDIR
/cygdrive/c/lang/C/splint-3.0.1.6/imports

$ alias splint
alias splint='splint -I/usr/include/c++/3.3.3:usr/local/include'

$ !splint
splint main.cpp
Splint 3.0.1.6 --- 11 Feb 2002

Command Line: Unrecognized file extension:
                main.cpp (assuming .cpp is C source code)
 warn when command line file does not have a recognized extension (Use
 -fileextensions to inhibit warning)
Cannot find standard library: standard.lcd
    Check LARCH_PATH environment variable.
main.cpp(6,19): Cannot find include file cstdlib on search path: /usr/include/c+
+/3.3.3:usr/local/include;C:/include;C:/local/include
main.cpp(7,19): Cannot find include file fstream on search path: /usr/include/c+
+/3.3.3:usr/local/include;C:/include;C:/local/include
main.cpp(8,20): Cannot find include file iostream on search path: /usr/include/c
++/3.3.3:usr/local/include;C:/include;C:/local/include
main.cpp(11,20): Cannot find include file string.h on search path: /usr/include/
c++/3.3.3:usr/local/include;C:/include;C:/local/include
  In file included from main.cpp(12)
BitArray/bitarray.h(49,18): Cannot find include file vector on search path: /usr
/include/c++/3.3.3:usr/local/include;C:/include;C:/local/include
BitArray/bitarray.h(50,19): Cannot find include file ostream on search path: /us
r/include/c++/3.3.3:usr/local/include;C:/include;C:/local/include
BitArray/bitarray.h(60,49): #warning CHAR_BIT not defined.  Assuming 8 bits.
  In file included from main.cpp(16)
dna.h(6,43): Cannot find include file ostream on search path: /usr/include/c++/3
.3.3:usr/local/include;C:/include;C:/local/include
  In file included from main.cpp(17)
dnaerr.h(4,43): Cannot find include file ostream on search path: /usr/include/c+
+/3.3.3:usr/local/include;C:/include;C:/local/include

$ ls /cygdrive/c/lang/C/splint-3.0.1.6/lib/standard.lcd
/cygdrive/c/lang/C/splint-3.0.1.6/lib/standard.lcd

$ ls /usr/include/c++/3.3.3/iostream
/usr/include/c++/3.3.3/iostream

Any help?
Phil Goetz
phil_goetz at yahoo.com