On Tuesday, May 28, 2019 at 1:40:45 PM UTC+2, Michael Orlitzky wrote:
>
> On 5/25/19 12:49 PM, Sébastien Labbé wrote:
> >
> > (sage-sh) $ cd /tmp
> > (sage-sh) $ pwd
> > /tmp
> > (sage-sh) $ sh configure
> > sh: 0: Can't open configure
> >
>
> This means that the "configure" file isn't coming from your PATH, which
> is even more weird (where the hell is it coming from?).
>
I don't know, but the strace gives the answer, see below.
> First, can you find out where /bin/sh actually points?
Sorry, I do not know how to answer this question. What command should I
type?
> It should be a
> symlink to the real shell executable (i.e. /bin/bash).
>
> Finally, can you reproduce the problem under strace?
Yes!
I'm extremely
> curious which "configure" file is being used. If you redirect the output
> of strace to a log file, it will contain a mountain of extra stuff but
> it should also contain the syscall that opens "configure".
>
$ cd /home/slabbe/GitBox/sage/local/var/tmp/sage/build/pynormaliz-2.5/src
$ strace sh congiure
...
4000 lines in total including:
...
faccessat(AT_FDCWD, "/home/slabbe/GitBox/sage/configure", R_OK) = 0
stat("/home/slabbe/GitBox/sage/configure", {st_mode=S_IFREG|0775,
st_size=398280, ...}) = 0
...
Therefore, it is using the configure from sage in fact. Indeed, the HOME
directory of Sage is in my PATH.
And I can reproduce the issue like this:
$ cd /home/slabbe/GitBox/sage/local/var/tmp/sage/build/pynormaliz-2.5/src
$ sh /home/slabbe/GitBox/sage/configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
configure: error: source directory already configured; run "make distclean"
there first
which should allow you to reproduce the above.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/0ec3c2d9-f3b3-4b79-b954-af9bdaf48a36%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
