Helllo Etienne,
my name is Codrin, and I got the same kind of error when I tried to
compile <vl2mv> on my i686 machine with Linux platform. I asked the same
question, but I received the answer that the installation works fine. So,
I decided to take closer look at the source of error, and surprise, I made
it work. I don't know if this is a very good solution, but you can try
this:
go to <vl2mv> source directory and edit the following header file:
/home/etienneo/vis/vl2mv/i686/include/vlr_int.h
go to line 216 and change the old line ( extern char yytext[]; ) with this
: ( extern char *yytext; )
this should work; at least it worked for me, and I got in the
~/work/vl2mv/i686/bin the vl2mv binary file, version 0.2
Good luck,
Codrin.
On Wed, 23 Jan 2002, Etienne K. Ogoubi wrote:
> Dear VIS group,
>
> Thanks you for providing this tremendous tool for system verification community. I'm a vis fun, I have been using vis for a while know. I have been using it at school and never have opportunity to try it at home. Since last night, I have been trying to install vis on Linux platform with i686 'arch'. The problem I am encounting with my installation in the "vl2mv". The "gmake" command produce this following output:
> "
> Making array :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake fix_makefile
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> rm -f makefile*
>
> ln -s /home/etienneo/vis/vl2mv/common/src/array/Makefile ./makefile
>
> gmake depend
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> makedepend -I. -I/home/etienneo/vis/vl2mv/i686/include array.c array.h
>
> Appending dependencies to makefile
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake lib_aux
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake -w OPTFLAG=-O make_lib
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o array.o array.c
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/array'
>
> Making graph :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake fix_makefile
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> rm -f makefile*
>
> ln -s /home/etienneo/vis/vl2mv/common/src/graph/Makefile ./makefile
>
> gmake depend
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> makedepend -I. -I/home/etienneo/vis/vl2mv/i686/include graph.c graph_dfs.c graph_s.c graph.h graph_int.h graph_static.h graph_static_int.h
>
> Appending dependencies to makefile
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake lib_aux
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake -w OPTFLAG=-O make_lib
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o graph.o graph.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o graph_dfs.o graph_dfs.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o graph_s.o graph_s.c
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/graph'
>
> Making list :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake fix_makefile
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> rm -f makefile*
>
> ln -s /home/etienneo/vis/vl2mv/common/src/list/Makefile ./makefile
>
> gmake depend
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> makedepend -I. -I/home/etienneo/vis/vl2mv/i686/include list.c list.h
>
> Appending dependencies to makefile
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake lib_aux
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake -w OPTFLAG=-O make_lib
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o list.o list.c
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/list'
>
> Making set :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/set'
>
> cc -g -I/home/etienneo/vis/vl2mv/i686/include -c -o set.o set.c
>
> ar cr libset.a set.o
>
> ranlib libset.a
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/set'
>
> Making st :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake fix_makefile
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> rm -f makefile*
>
> ln -s /home/etienneo/vis/vl2mv/common/src/st/Makefile ./makefile
>
> gmake depend
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> makedepend -I. -I/home/etienneo/vis/vl2mv/i686/include st.c st.h
>
> Appending dependencies to makefile
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake lib_aux
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake -w OPTFLAG=-O make_lib
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o st.o st.c
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/st'
>
> Making stack :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/stack'
>
> cc -g -I/home/etienneo/vis/vl2mv/i686/include -c -o stack.o stack.c
>
> ar cr libstack.a stack.o
>
> ranlib libstack.a
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/stack'
>
> Making util :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake fix_makefile
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> rm -f makefile*
>
> ln -s /home/etienneo/vis/vl2mv/common/src/util/Makefile ./makefile
>
> gmake depend
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> makedepend -I. -I/home/etienneo/vis/vl2mv/i686/include cpu_time.c cpu_stats.c getopt.c safe_mem.c strsav.c texpand.c prtime.c pipefork.c saveimage.c pathsearch.c stub.c restart.c state.c tmpfile.c util.h
>
> Appending dependencies to makefile
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake lib_aux
>
> gmake[2]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake -w OPTFLAG=-O make_lib
>
> gmake[3]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o cpu_time.o cpu_time.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o cpu_stats.o cpu_stats.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o getopt.o getopt.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o safe_mem.o safe_mem.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o strsav.o strsav.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o texpand.o texpand.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o prtime.o prtime.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o pipefork.o pipefork.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o saveimage.o saveimage.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o pathsearch.o pathsearch.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o stub.o stub.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o restart.o restart.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o state.o state.c
>
> cc -O -I. -I/home/etienneo/vis/vl2mv/i686/include -c -o tmpfile.o tmpfile.c
>
> gmake[3]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake[2]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/util'
>
> Making /home/etienneo/vis/vl2mv/i686/src/parser :..
>
> gmake[1]: Entering directory `/home/etienneo/vis/vl2mv/i686/src/parser'
>
> yacc -d verilog.y
>
> cc -DNO_SIS -D_i686 -g -I/home/etienneo/vis/vl2mv/i686/include -c -o verilog_yacc.o verilog_yacc.c
>
> lex verilog.l
>
> cc -DNO_SIS -D_i686 -g -I/home/etienneo/vis/vl2mv/i686/include -c -o verilog_lex.o verilog_lex.c
>
> gmake[1]: Leaving directory `/home/etienneo/vis/vl2mv/i686/src/parser'
>
> yacc: 1 shift/reduce conflict
>
> In file included from verilog.l:37:
>
> /home/etienneo/vis/vl2mv/i686/include/vlr_int.h:216: conflicting types for `yytext'
>
> verilog_lex.c:1020: previous declaration of `yytext'
>
> lex.yy.c: In function `yylex':
>
> lex.yy.c:1326: `yytext' has an incomplete type
>
> lex.yy.c: In function `yy_get_next_buffer':
>
> lex.yy.c:2642: `yytext' has an incomplete type
>
> lex.yy.c: In function `yyunput':
>
> lex.yy.c:2751: `yytext' has an incomplete type
>
> lex.yy.c: In function `yy_load_buffer_state':
>
> lex.yy.c:2883: `yytext' has an incomplete type
>
> verilog.l: At top level:
>
> /home/etienneo/vis/vl2mv/i686/include/vlr_int.h:216: warning: array `yytext' assumed to have one element
>
> gmake[1]: *** [verilog_lex.o] Error 1
>
> gmake: *** [all] Error 2
>
> "
>
> As you can see, I have installed vis system as a user not as a root. I have installed glu-1.4 first, vis-1.4 after and finally the vl2mv. On my understanding, I should have the vl2mv command under the directory /home/etienneo/vis/vl2mv/i686/bin but unfortunately, It did not happen.
>
> When I have tried to run the command "read_verilog <file_mane.v> from vis, I have received as output that the command vl2mv does not exist.
>
> Thank you for taking care of this problem and help me to solve it.
>
> Best regards
>
> Etienne
>
>
> ---
> Outgoing mail is certified Virus Free.
> Checked by AVG anti-virus system (http://www.grisoft.com).
> Version: 6.0.314 / Virus Database: 175 - Release Date: 1/11/02
>
>
This archive was generated by hypermail 2b30 : Thu Jan 24 2002 - 00:44:26 MST