On 08/04/2017 16:35, Samuel Lelievre wrote:
Sat 2017-04-08 15:14:57 UTC+2, vdelecroix:
On 07/04/2017 23:52, Dima Pasechnik wrote:
On Friday, April 7, 2017 at 12:35:13 PM UTC+1, vdelecroix wrote:
Dear all,
I have trouble building Sage for the patchbot. My procedure consists
just in launching the attached script. It basically
1) compile sage
2) install most optional packages except the one for which I know
there are some troubles
3) launch the patchbot
However, after step 2) I end up with a very broken Sage that is
immediately killed with no information at all
$ ./sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 8.0.beta1, Release Date: 2017-04-06 │
│ Type "notebook()" for the browser-based notebook interface. │
│ Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable. ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
Killed
>
this looks very much like some stuff in ~/.sage/ directory might be
responsible for.
I'd try to move it out of the way and try starting sage again
Indeed, most probably your installation passes "Sage starts" test, you
might check install.log for this;
this tests is done with the option to ignore the contents of ~/.sage/ -
unlike the usual startup.
You were right, after moving .sage everything went smoothly. Since I did
not add myself anything there it would still be nice to understand where
the problem comes from!
Vincent
Did .sage contain a file init.sage?
It does and it is empty.
To see what in the .sage directory makes SageMath 8.0.beta1
unhappy, you can selectively remove stuff from the problematic
.sage directory.
hum, actually that might be the issue .sage/ is huge with a lot of
things in .sage/temp/quasar/ (22953 folders). I think something went
wrong with Sage cleaner.
To see what change in Sage made it unhappy with that .sage
directory you could, starting from 8.0.beta0, apply successive
tickets leading to 8.0.beta1 and see when things go wrong.
It is not related to 8.0.beta0 (the problem appeared before).
Vincent
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
