#153 makexsb install doesn't create directories

[Pierre Andrews]

I have been trying to install XSB with the following
commands:
./configure --prefix=~/local/programs/XSB/
./makexsb
./makexsb install

However the last step -- install -- fails because it
doesn't create the sub-directories in the XSB
installation directory.

I attach the full log to the bug report, but here is
what's going on:

Verifying that installtion directories exist...
Directory: ~/local/programs/XSB/3.0.1/emu...ok
............
Verifying installation directories ... Done
Installing XSB in ~/local/programs/XSB/3.0.1 ...
Copying executables...
cp:
`/usr/pandrews/local/programs/XSB/3.0.1/config/i686-pc-linux-gnu/bin':
specified destination directory does not exist
Try `cp --help' for more information.
cp: cannot create regular file
`/usr/pandrews/local/programs/XSB/3.0.1/bin/xsb': No
such file or directory
chmod: cannot access
`/usr/pandrews/local/programs/XSB/3.0.1/bin/*': No such
file or directory
chmod: cannot access
`/usr/pandrews/local/programs/XSB/3.0.1/config/i686-pc-linux-gnu/bin/*':
No such file or directory
........

So it thinks the directories exist, but then cannot
access them. I checked in my installation directory and
it's empty, the sub-directories were never created.

[Pierre Andrews]

makexsb install error log

[Anonymous]

Logged In: YES
user_id=1528884
Originator: NO

I had a similar problem during my installation. I think the problem is that the xsb installation routine assumes that the directory assumes that the directory you specify as --prefix already exists, but doesn't create it if it doesn't. So if you create the directory /usr/pandrews/local/programs/XSB/ first it should work.