10 Nov
2016
10 Nov
'16
6:33 p.m.
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! Best Regards, Shufang