suifint segfaults

Scott McPeak smcpeak@CS.Berkeley.EDU
Mon, 6 Dec 1999 06:22:14 -0800 (PST)


After installing nci.tar.gz, I installed X86_Linuxc2s.tar.gz, but suifint
segfaults:

scott@leetch:~/bld/suif/X86_Linuxc2s% make test.suif
Makefile:60: warning: overriding commands for target `clean'
/home/scott/bld/suif/nci/Makefile.std:547: warning: ignoring old commands for target `clean'
pgcpp1 -o test.cil -D__PGI -D__linux86 -D__signed__=signed -D__inline__= -Dunix -Di386 -Dlinux -D__unix__ -D__i386__ -D__linux__ -D__unix -D__i386 -D__linux -D__NO_MATH_INLINES --c -q -I/home/scott/bld/suif/nci/include/Linux -I/usr/local/include -I/usr/i686-pc-linux-gnulibc1/include -I/usr/lib/gcc-lib/i686-pc-linux-gnulibc1/2.8.1/include -I/usr/include  test.c
suifint test.cil test.suif
make: *** [test.suif] Segmentation fault
rm test.cil

Stats on the packages I downloaded:
-rw-r--r--   1 scott    users     1710797 Nov 23 16:48 X86_Linuxc2s.tar.gz
-rw-r--r--   1 scott    users      969929 Nov 23 16:52 nci.tar.gz                          

My system:
  uname -a: Linux leetch 2.2.6 #3 Wed Oct 13 18:19:17 PDT 1999 i686 unknown
  libc: libc5 and libc6 binaries installed, libc5 headers installed


Also, a documentation anomaly: nci/README states that a file called
suif/suif2b/doc/index.html should exist, but I don't have it:

scott@leetch:~/bld/suif/nci/suif/suif2b/doc% ls
Makefile                   overview.ps                suif_programmers_guide.ps
example.suif.raw.lst       smgn.ps                    suifguide.ps                         


Any help is appreciated,

-Scott