$ cd vpi
$ make
gcc -DHAVE_CVS_IDENT=1 -I. -I./.. -I. -I..
-D_LARGEFILE_SOURCE=1 -D_FILE_OFFSET_BITS=64 
-DHAVE_CONFIG_H -fPIC -Wall -g -O2 -MD -c sys_lxt.c -o
sys_lxt.o
In file included from sys_lxt.c:24:
lxt_write.h:33:19: bzlib.h: No such file or directory
sys_lxt.c: In function `install_dumpvars_callback':
sys_lxt.c:296: warning: long unsigned int format,
different type arg (arg 3)
make: *** [sys_lxt.o] Error 1

i suspect that it failed and for some reason it
continued to execute the make.

 --- Stephen Williams <[EMAIL PROTECTED]> escribió:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Charlls Quarra wrote:
> |  no options
> |
> |  ./configure
> |  make
> |  make install
> |  make check
> |
> |  Im using a redhat9/intelx86 system, the
> compilation
> | goes on without trouble. the error at the end of
> make
> | check is:
> |
> |  test -r check.conf || cp ./check.conf .
> | driver/iverilog -B. -BPivlpp -tcheck -ocheck.vvp
> | ./examples/hello.vl
> | vvp/vvp -M- -M./vpi ./check.vvp | grep 'Hello,
> World'
> | system: Unable to find a `system.vpi' module on
> the
> | search path.
> | $display: This task not defined by any modules. I
> | cannot compile it.
> | $finish: This task not defined by any modules. I
> | cannot compile it.
> | make: *** [check] Error 1
> 
> Something might have happened mid-way that might
> have led to
> the system.vpi not being build. Go into the vpi
> directory,
> type "make" and see what happens.
> 
> 
> - --
> Steve Williams                "The woods are lovely,
> dark and deep.
> steve at icarus.com           But I have promises to
> keep,
> http://www.icarus.com         and lines to code
> before I sleep,
> http://www.picturel.com       And lines to code
> before I sleep."
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.2.5 (GNU/Linux)
> Comment: Using GnuPG with Mozilla -
> http://enigmail.mozdev.org
> 
>
iD8DBQFCxX/qrPt1Sc2b3ikRAk4yAJ99BKwkUWeFUxxBspbF17BltvniYgCeL9Bd
> jl+HrRDqZ7hqnXq0WAB77r4=
> =pohO
> -----END PGP SIGNATURE-----
> 


__________________________________________________
Correo Yahoo!
Espacio para todos tus mensajes, antivirus y antispam ¡gratis! 
¡Abrí tu cuenta ya! - http://correo.yahoo.com.ar

Reply via email to