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