search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

LTSmin build fails when the directory contains a space #138

Open alaarman opened 7 years ago

Meijuh commented 7 years ago

This is quite unclear. Can you give a bit more info on how to reproduce? Do you mean the --prefix option?

alaarman commented 7 years ago

I had the a space in the path to the source directory.

Meijuh commented 7 years ago

I can not reproduce this. I have a source directory with a space, e.g. /home/jeroen/gitprojects/ltsmin/s rc. Next I have a build directory, e.g. /home/jeroen/gitprojects/ltsmin/build. The command cd /home/jeroen/gitprojects/ltsmin/build && autoreconf -i ../s \rc is successful. Next the command ../s \rc/configure fails with the output: checking whether build environment is sane... configure: error: unsafe srcdir value: '../s rc'.

What are your steps?

alaarman commented 7 years ago

Ltsmin was in a directory: ~/dir with space/ltsmin

The build scripts failed.

Meijuh commented 7 years ago

Still can't reproduce, what is the error you are getting?

alaarman commented 6 years ago

~/Projects/ltsmin 3 (git:master)$ make Making all in scoop make[1]: Entering directory '/Users/laarman/Projects/ltsmin 3/scoop' make[1]: No rule to make target 'all'. Stop. make[1]: Leaving directory '/Users/laarman/Projects/ltsmin 3/scoop' Makefile:623: recipe for target 'all-recursive' failed make: [all-recursive] Error 1