Volker Braun wrote:
It seems that we are currently moving the web site to a new VM ;-)
Anyway, the error messages aren't nice:
On Saturday, April 26, 2014 8:37:24 AM UTC+1, Simon King wrote:
./bootstrap -d
make[1]: Entering directory `/home/king/Sage/git/sage'
rm -rf config configure build/Makefile-auto.in
make[1]: Leaving directory `/home/king/Sage/git/sage'
./bootstrap: Zeile 29: aclocal: Kommando nicht gefunden.
Bootstrap failed, downloading required files instead.
find: `/home/king/Sage/git/sage/local/var/lib/sage/installed': Datei
oder Verzeichnis nicht gefunden
% Total % Received % Xferd Average Speed Time Time
Time Current
Dload Upload Total Spent
Left Speed
0 0 0 0 0 0 0 0 --:--:-- 0:00:01
--:--:-- 0
curl: (22) The requested URL returned error: 404 Not Found
Error: downloading configure-23.tar.gz failed
make: *** [configure] Fehler 1
From sage-devel, this time in French, presumably using 'wget':
On Saturday, April 26, 2014 11:16:22 AM UTC+1, Thierry (sage-googlesucks@xxx)
wrote:
thierry@builder:/opt/sagemath/sage-6.2.rc0$ make
mkdir -p logs
./bootstrap -d
make[1]: entrant dans le répertoire « /opt/sagemath/sage-6.2.rc0 »
rm -rf config configure build/Makefile-auto.in
make[1]: quittant le répertoire « /opt/sagemath/sage-6.2.rc0 »
./bootstrap: ligne29: aclocal : commande introuvable
Bootstrap failed, downloading required files instead.
find: "/opt/sagemath/sage-6.2.rc0/local/var/lib/sage/installed": Aucun
fichier ou dossier de ce type
http://www.sagemath.org/packages/upstream/configure/configure-23.tar.gz:
2014-04-26 12:02:48 ERREUR 404: Not Found.
Error: downloading configure-23.tar.gz failed
make: *** [configure] Erreur 1
-leif
--
() The ASCII Ribbon Campaign
/\ Help Cure HTML E-Mail
--
You received this message because you are subscribed to the Google Groups
"sage-release" 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-release.
For more options, visit https://groups.google.com/d/optout.
