A forum for Spin users

You are not logged in.

#1 2012-05-21 15:31:41

Registered: 2011-01-04
Posts: 12

Compilation error on 64-bit Linux system for version 6.2.0

I had a difficulty when compilingthe new  6.2.0 version of spin on a 64-bit Linux system.

The difficulty was solved by putting "extern YYSTYPE yylval" at the beginning of the file "reprosrc.c" .
Strangely enough, the error did not occur on two Ubuntu systems.

Kees Pronk


Here is the compilation error:

yacc         -v -d          spin.y
gcc -c y?tab.c
rm -f y?tab.c
mv y?tab.o spin.o
gcc -O2 -DNXT       -c -o spinlex.o spinlex.c
gcc -O2 -DNXT       -c -o sym.o sym.c
gcc -O2 -DNXT       -c -o vars.o vars.c
gcc -O2 -DNXT       -c -o main.o main.c
gcc -O2 -DNXT       -c -o ps_msc.o ps_msc.c
gcc -O2 -DNXT       -c -o mesg.o mesg.c
gcc -O2 -DNXT       -c -o flow.o flow.c
gcc -O2 -DNXT       -c -o sched.o sched.c
gcc -O2 -DNXT       -c -o run.o run.c
gcc -O2 -DNXT       -c -o pangen1.o pangen1.c
gcc -O2 -DNXT       -c -o pangen2.o pangen2.c
gcc -O2 -DNXT       -c -o pangen3.o pangen3.c
gcc -O2 -DNXT       -c -o pangen4.o pangen4.c
gcc -O2 -DNXT       -c -o pangen5.o pangen5.c
gcc -O2 -DNXT       -c -o guided.o guided.c
gcc -O2 -DNXT       -c -o dstep.o dstep.c
gcc -O2 -DNXT       -c -o structs.o structs.c
gcc -O2 -DNXT       -c -o pc_zpp.o pc_zpp.c
gcc -O2 -DNXT       -c -o pangen6.o pangen6.c
gcc -O2 -DNXT       -c -o pangen7.o pangen7.c
gcc -O2 -DNXT       -c -o reprosrc.o reprosrc.c
reprosrc.c: In function 'blip':
reprosrc.c:190: error: 'yylval' undeclared (first use in this function)
reprosrc.c:190: error: (Each undeclared identifier is reported only once
reprosrc.c:190: error: for each function it appears in.)
reprosrc.c: In function 'pretty_print':
reprosrc.c:341: error: 'yylval' undeclared (first use in this function)
make: *** [reprosrc.o] Error 1

Here is how "gcc -v" identifies itself:

Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --with-java-home=/usr/lib/jvm/java-1.5.0-gcj- --enable-libgcj-multifile --enable-java-maintainer-mode --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib --with-ppl --with-cloog --with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux
Thread model: posix
gcc version 4.4.5 20101112 (Red Hat 4.4.5-2) (GCC)


Last edited by KeesPronk (2012-05-21 15:32:39)


#2 2012-05-21 18:57:32

Registered: 2010-11-18
Posts: 678

Re: Compilation error on 64-bit Linux system for version 6.2.0

thanks -- will make that update
i also had not seen this on the Ubuntu systems i use


Board footer

Powered by FluxBB