|
From: Robert D. <rob...@gm...> - 2015-02-24 18:28:34
|
On Tue, Feb 24, 2015 at 12:20 AM, z_axis <z_...@16...> wrote:
> $ ./configure --prefix=/home/sw2wolf/maxima/ --enable-sbcl --with-sbcl=/usr/local/bin/sbcl
OK ...
> $grep exec_prefix= config.log
> exec_prefix='${prefix}'
> expanded_exec_prefix='/home/sw2wolf/maxima'
OK ...
> $grep 'expanded_.*=' config.log
> expanded_datadir=''
> expanded_exec_prefix='/home/sw2wolf/maxima'
> expanded_infodir=''
> expanded_libdir=''
> expanded_libexecdir=''
> expanded_top_srcdir='/mnt/D/RnD/maxima'
Hmm, expanded_datadir and friends are empty.
I guess (emphasis on guess) that these lines in ./configure
do not yield the expected results.
expanded_libdir="`eval \"exec_prefix=\\\"${tmp_exec_prefix}\\\";echo
${libdir}\"`"
expanded_libexecdir="`eval
\"exec_prefix=\\\"${tmp_exec_prefix}\\\";echo ${libexecdir}\"`"
expanded_datadir="`eval
\"prefix=\\\"${tmp_prefix}\\\";datarootdir=\\\"${datarootdir}\\\";echo
${datadir}\"`"
expanded_infodir="`eval
\"prefix=\\\"${tmp_prefix}\\\";datarootdir=\\\"${datarootdir}\\\";echo
${infodir}\"`"
The generated configure script has #!/bin/sh at the top --
I see that on my system, /bin/sh is a symbolic link to /bin/dash
(something I didn't know, I would have expected it to link to
/bin/bash). Does /bin/sh link to something else on your
system? If not, what variety of sh is it?
The directories can be assigned via --libdir, etc, on the
./configure command line, if we can't figure out why
the directories are not being assigned automatically.
best,
Robert Dodier
|