Re: [Spot] SPOT installation error - Spot

10 Nov 2016

On Thu, Nov 10, 2016 at 8:44 PM, ShufangZhu &lt;saffiechu(a)gmail.com&gt; wrote:
...
  2016-11-10 13:01 GMT-06:00 Alexandre Duret-Lutz
&lt;adl(a)lrde.epita.fr&gt;fr>:
  On Thu, Nov 10, 2016 at 6:33 PM, ShufangZhu
&lt;saffiechu(a)gmail.com&gt; 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'.

-- 
Alexandre Duret-Lutz