==Description==
When I (build and) install the ecl package, it creates a bogus entry
in the local/include/ecl directory, namely there is this entry
($SAGE_ROOT/local/include/ecl/$SAGE_ROOT)
/scratch1/local/opt/sage-6.0/local/include/ecl//scratch1/local/opt/sage-6.0/local/var/tmp/sage/build/ecl-12.12.1.p4/src/build/ecl
where my SAGE_ROOT is /scratch1/local/opt/sage-6.0.
It may be related to the following snippet and complaint in the
build output (note the explicit mkdir -p of the bogus entry)
mkdir -p --
/scratch1/local/opt/sage-6.0/local/include//ecl//scratch1/local/opt/sage-6.0/local/var/tmp/sage/build/ecl-12.12.1.p4/src/build/ecl
for i in `(cd ecl && find . -name '*.h')`; do echo $i; \
/usr/bin/install -c -m 644 ecl/$i
/scratch1/local/opt/sage-6.0/local/include//ecl/$i; \
done
/scratch1/local/opt/sage-6.0/local/var/tmp/sage/build/ecl-12.12.1.p4/src/build/ecl
/usr/bin/install: cannot stat
`ecl//scratch1/local/opt/sage-6.0/local/var/tmp/sage/build/ecl-12.12.1.p4/src/build/ecl':
No such file or directory
Note that the original location for $SAGE_ROOT was
/scratch1/Jskud/__origin__/sage-6.0,
but after I built it, I moved it to
/scratch1/local/opt/sage-6.0.
So I also have this entry
/scratch1/local/opt/sage-6.0/local/include/ecl/scratch1/Jskud/__origin__/sage-6.0/local/var/tmp/sage/build/ecl-12.12.1.p4/src/build/ecl/
==Desired Result==
no bogus entry in $SAGE_ROOT/local/include/ecl
==Context of the Problem==
Happened on intial build of sage,
and reproduced with sage -f ecl
after moving the $SAGE_ROOT.
==Platform (CPU) and Operating System==
RedHat Enterprise Linux 5.7
x86_64
==Exact version of Sage (command: "version()")==
sage: version()
'Sage Version 6.0, Release Date: 2013-12-17'
==Reproduce==
sage -f ecl
sage -sh -c 'find $SAGE_ROOT/local/include/ecl/$SAGE_ROOT -print'
[]
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
