On Thu, Nov 10, 2016 at 8:44 PM, ShufangZhu saffiechu@gmail.com wrote:

2016-11-10 13:01 GMT-06:00 Alexandre Duret-Lutz adl@lrde.epita.fr:

...

On Thu, Nov 10, 2016 at 6:33 PM, ShufangZhu saffiechu@gmail.com wrote:

...

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

Could you show the entire output you get when you type "make" ?

Please see attached for the entire output.

OK, so this error is due to the fact that the source code is in a directory called /home/saffie/LTLf synthesis/spot-2.1.2 with "LTLf synthesis" containing a space. Directory or file names with spaces cannot be supported in Makefiles.

Just rename that directory to LTLf_synthesis (or something else), and be sure to run './configure && make clean' (to forget about the old path) before rebuilding with 'make'.