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 : Wed Jan 23 2002 - 18:05:44 MST