SIS compilation

From: mmcald@tin.it
Date: Tue May 28 2002 - 05:40:13 MDT

Next message: Jean-Luc Mercadier: "Needing for more information about counter examples in approximate model checking"

Previous message: Fabio Somenzi: "Re: Uninitialized variable in VIS 1.4 distribution?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Hi, my name is Marco, I'm a Ph.D student from the University of Ancona in
Italy. I'm trying to install SIS to use it for power estimation purposes
but I have this problem during compilation:

"[...]
gcc -I/home/marcoc/sis/sis-1.2/cad/include ' DCADROOT="$OCTTOOLS"' -c
csystem.c
csystem.c: In function `util_csystem':
csystem.c:24: storage size of `status' isn't known
*** Error code 1
[...]"

I've tried to send this message to sis@ic.eecs.berkeley.edu but I had delivery
problems. Could you please give me some help ?

Best regards, Marco Caldari.

Next message: Jean-Luc Mercadier: "Needing for more information about counter examples in approximate model checking"
Previous message: Fabio Somenzi: "Re: Uninitialized variable in VIS 1.4 distribution?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Tue May 28 2002 - 05:43:54 MDT