The script can also be used in that case, just download it by hand and leave out the --url=...
On Wednesday, November 11, 2015 at 12:06:39 PM UTC-8, Emmanuel Charpentier wrote: > > > > Le mercredi 11 novembre 2015 16:58:35 UTC+1, Volker Braun a écrit : >> >> PS: with http://trac.sagemath.org/ticket/19470 updating packages would >> get much easier, just run >> >> sage --package update boost 1.58 --url=... >> > > *VERY* nice idea ! But it can't be applied to Boost, which is distributed > via @#!&! Sourceforge and therefore has no stable URL... > > I'll try to do that "à l'ancienne"... > > HTH, > > -- > Emmanuel Charpentier > > >> to download the tarball and update the relevant configuration files in >> Sage >> >> >> >> On Wednesday, November 11, 2015 at 7:48:26 AM UTC-8, Volker Braun wrote: >>> >>> egrep -r boost src/sage >>> >>> Sage graphs also use boost >>> >>> If you need a newer version the go ahead and package it! >>> >>> >>> On Wednesday, November 11, 2015 at 4:06:21 AM UTC-8, Emmanuel >>> Charpentier wrote: >>>> >>>> Dear list, >>>> >>>> I just discovered that Sage installs a Boost library (it's, curiously, >>>> called boost-cropped, but according to its SPKG.txt, currently contains >>>> all >>>> of Boost, without patches). >>>> >>>> The current version is 1.52. I discovered that this version is too old >>>> at least for the rstan package of R (a diabolically efficient MCMC >>>> sampler), which needs Boost>=1.58. See this thread on stan-users >>>> <https://groups.google.com/forum/#!topic/stan-users/XygoXG0SoTM> for >>>> details. >>>> >>>> Hence two questions : >>>> >>>> 1) What in Sage uses Boost ? >>>> >>>> 2) Is someone maintaining it ? >>>> >>>> Sincerely yours, >>>> >>>> -- >>>> Emmanuel Charpentier >>>> >>> -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
