10 Nov
2016
10 Nov
'16
8:01 p.m.
On Thu, Nov 10, 2016 at 6:33 PM, ShufangZhu saffiechu@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" ?