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