10 Nov
2016
10 Nov
'16
8:01 p.m.
On Thu, Nov 10, 2016 at 6:33 PM, ShufangZhu <saffiechu(a)gmail.com> wrote:
Hi,
I am trying to install SPOT. But after I entered the command "make", there
is an error as following,
can't read synthesis/spot-2.1.2/buddy/src/libbddx.la: No such file or
directory
libtool: error: 'synthesis/spot-2.1.2/buddy/src/libbddx.la' is not a valid
libtool archive
My system is Ubuntu 14.04, 64-bit. And it's a virtual machine.
Thanks!
Could you show the entire output you get when you type "make" ?