Re: [sage-devel] Re: Notebook stuck on "N?" with a worksheet

On Sun, 23 Oct 2016, Luca De Feo wrote: When I want to share a notebook with the students, I share a static .ipynb file via gist, and visualize it via nbviewer. e.g.: http://nbviewer.jupyter.org/gist/defeo/4adb727f7608dfd2c75eb7699d670fb7 When I want to see the student's work, I ask them to

Re: [sage-devel] add curl as a standard package

Le mercredi 26 octobre 2016 00:42:01 UTC+2, John H Palmieri a écrit : > > I have no opinion on whether this approach is on the whole a good idea, > but I will point out that "which curl" is not as portable as "command -v > curl". We had an issue a while ago with "which" not behaving properly

[sage-devel] Re: Can we depend on system's utilities and libraries ?

It looks that this is a general issue, about which I do not know enough (yet) to contribute usefully, and which largely surpasses the R update issue I was tackling. Therefore, I suggest to treat the latter, lesser issue in the current framework (i. e. no conditional installation for package),

Re: [sage-devel] Re: Can we depend on system's utilities and libraries ?

On 2016-10-26 20:02, Jean-Pierre Flori wrote: Sure. What you uncovered here is larger than R. At least there is a framework now for conditionally installing standard packages (like gcc). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

[sage-devel] Re: add pcre as a standard package

An initial packaging (Trac#21770 ), without attemt to autodetect a system version, needs your review. Le lundi 24 octobre 2016 12:12:01 UTC+2, Emmanuel Charpentier a écrit : > > [ Same problem as for curl, posted a few seconds ago ] > > It looks like pcre

Re: [sage-devel] Can we depend on system's utilities and libraries ?

Yup. It is all system packages. In fact R and its dependencies are not part of the sage-on-gentoo “repo”. Also in Gentoo we don’t usually split things in $package and $package-devel you get the nice libraries for linking and headers. The headers and stuff in $package-devel is the sticky point

Re: [sage-devel] add curl as a standard package

On 26/10/2016 09:59, Jean-Pierre Flori wrote: On Wednesday, October 26, 2016 at 9:24:35 AM UTC+2, Emmanuel Charpentier wrote: Le mercredi 26 octobre 2016 09:18:06 UTC+2, Jeroen Demeyer a écrit : On 2016-10-25 23:52, Emmanuel Charpentier wrote: > This is now Trac#21767

[sage-devel] Can we depend on system's utilities and libraries ?

Dear list, It has been proposed that we could use the system's version of some utilities in order to lighten Sage's weight. Case in point : R ceased recently to provide its own version of xz, curl and pcre, which we must now either provide or add to Sage's prerequisites list. - Providing

Re: [sage-devel] add curl as a standard package

On Wednesday, October 26, 2016 at 9:24:35 AM UTC+2, Emmanuel Charpentier wrote: > > Le mercredi 26 octobre 2016 09:18:06 UTC+2, Jeroen Demeyer a écrit : >> >> On 2016-10-25 23:52, Emmanuel Charpentier wrote: >> > This is now Trac#21767 . The >> >

Re: [sage-devel] add curl as a standard package

See this thread . -- Emmanuel Charpentier Le mercredi 26 octobre 2016 09:24:35 UTC+2, Emmanuel Charpentier a écrit : > > Le mercredi 26 octobre 2016 09:18:06 UTC+2, Jeroen Demeyer a écrit : >> >> On 2016-10-25 23:52, Emmanuel

Re: [sage-devel] add curl as a standard package

On Wednesday, October 26, 2016 at 11:18:15 AM UTC+2, Emmanuel Charpentier wrote: > > On 26/10/2016 09:59, Jean-Pierre Flori wrote: > > > > > > On Wednesday, October 26, 2016 at 9:24:35 AM UTC+2, Emmanuel Charpentier > > wrote: > > > > Le mercredi 26 octobre 2016 09:18:06 UTC+2, Jeroen

Re: [sage-devel] add curl as a standard package

On 2016-10-25 23:52, Emmanuel Charpentier wrote: This is now Trac#21767 . The unconditional installation works okay on top of 7.5beta0. The conditional installation can probably be obtained with this bash snippet, at the top of spkg-install : Unless

Re: [sage-devel] add curl as a standard package

On 2016-10-26 09:24, Emmanuel Charpentier wrote: I'm not so sure : harder to do, harder to understand, not obvious at reading the spkg-install script. But cleaner, indeed. Plus, it allows for explicit installation if you want to install it anyway. It's nice for example that `./sage -i gcc`

[sage-devel] Re: add curl as a standard package

Le mercredi 26 octobre 2016 03:12:04 UTC+2, Volker Braun a écrit : > > One issue with curl is that you sooner or later will need the root > certificates to use it, namely when you start downloading from a https > site. E.g. in hashstack I recently added the root certs: > >

Re: [sage-devel] add curl as a standard package

Le mercredi 26 octobre 2016 09:18:06 UTC+2, Jeroen Demeyer a écrit : > > On 2016-10-25 23:52, Emmanuel Charpentier wrote: > > This is now Trac#21767 . The > > unconditional installation works okay on top of 7.5beta0. > > > > The conditional installation

[sage-devel] Re: Can we depend on system's utilities and libraries ?

It would be great to let the user choose when to use system libraries instead of building our own, whether its curl or gmp. A problem coming to my mind to have a simple --with-curl=[system|build] working. For packages that will still be built and use curl, what we currently do, at least for

[sage-devel] Re: Can we depend on system's utilities and libraries ?

On Wednesday, October 26, 2016 at 3:01:48 PM UTC+2, Jean-Pierre Flori wrote: > > > > On Wednesday, October 26, 2016 at 2:58:44 PM UTC+2, Jean-Pierre Flori > wrote: >> >> >> >> On Wednesday, October 26, 2016 at 2:22:45 PM UTC+2, Jean-Pierre Flori >> wrote: >>> >>> >>> >>> On Wednesday, October

[sage-devel] Re: Can we depend on system's utilities and libraries ?

Note that gcc or pkgconfig are easier to deal with as they just need to be in PATH and nothing links to them or includes headers from them. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

[sage-devel] Re: Can we depend on system's utilities and libraries ?

On Wednesday, October 26, 2016 at 2:22:45 PM UTC+2, Jean-Pierre Flori wrote: > > > > On Wednesday, October 26, 2016 at 2:08:25 PM UTC+2, Emmanuel Charpentier > wrote: >> >> >> >> Le mercredi 26 octobre 2016 13:40:14 UTC+2, Jean-Pierre Flori a écrit : >>> >>> It would be great to let the user

[sage-devel] Re: Installing JupyterHub and LDAP

On Wednesday, October 26, 2016 at 10:40:50 AM UTC, Jori Mäntysalo wrote: > > More progress, but now I am stuck. Last time I ended on > > > pip3 install jupyterhub > > > > Noticed that it used IPv6, got a headache when googling, found the > > instruction to put

[sage-devel] Re: Can we depend on system's utilities and libraries ?

On Wednesday, October 26, 2016 at 2:58:44 PM UTC+2, Jean-Pierre Flori wrote: > > > > On Wednesday, October 26, 2016 at 2:22:45 PM UTC+2, Jean-Pierre Flori > wrote: >> >> >> >> On Wednesday, October 26, 2016 at 2:08:25 PM UTC+2, Emmanuel Charpentier >> wrote: >>> >>> >>> >>> Le mercredi 26

Re: [sage-devel] Re: Installing JupyterHub and LDAP

I have no experience with the LDAP authenticator. It is probably best to ask your questions on : https://groups.google.com/forum/#!forum/jupyter Luca On Wed, Oct 26, 2016 at 12:40 PM, Jori Mäntysalo wrote: > More progress, but now I am stuck. Last time I ended on > >>

Re: [sage-devel] Re: Installing JupyterHub and LDAP

> Some other things: Is it possible to run plain R (or GAP or...) from > Jupyter? Can I change worksheet type, for example test what "10/4" will > output as a plain Python2? > > Both are possible with SageNB. You can change the kernel via the "Kernel" menu (there are kernels for R, GAP, PARI/GP,

[sage-devel] Re: Can we depend on system's utilities and libraries ?

As far as dependency tracking is concerned we could use the "need_to_install" magic in configure.ac. -- 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] Re: Can we depend on system's utilities and libraries ?

Le mercredi 26 octobre 2016 13:40:14 UTC+2, Jean-Pierre Flori a écrit : > > It would be great to let the user choose when to use system libraries > instead of building our own, whether its curl or gmp. > A problem coming to my mind to have a simple --with-curl=[system|build] > working. > That

[sage-devel] Re: Can we depend on system's utilities and libraries ?

And i guess sage-on-gentoo just puts everything into standard paths. -- 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

[sage-devel] Re: Can we depend on system's utilities and libraries ?

On Wednesday, October 26, 2016 at 2:08:25 PM UTC+2, Emmanuel Charpentier wrote: > > > > Le mercredi 26 octobre 2016 13:40:14 UTC+2, Jean-Pierre Flori a écrit : >> >> It would be great to let the user choose when to use system libraries >> instead of building our own, whether its curl or gmp.

[sage-devel] Re: add curl as a standard package

On Wednesday, October 26, 2016 at 2:40:42 AM UTC-4, Emmanuel Charpentier wrote: > > This issue is *distinct* from the one I'm trying to solve (iL e. satisfy > R's prerequisites). Should't you open a relevant ticket ? > Its not really a distinct issue, its a general caveat of compiling your own

[sage-devel] Re: add curl as a standard package

On Wednesday, October 26, 2016 at 3:45:02 PM UTC+2, Volker Braun wrote: > > On Wednesday, October 26, 2016 at 2:40:42 AM UTC-4, Emmanuel Charpentier > wrote: >> >> This issue is *distinct* from the one I'm trying to solve (iL e. satisfy >> R's prerequisites). Should't you open a relevant

Re: [sage-devel] add curl as a standard package

On Tuesday, October 25, 2016 at 11:35:15 PM UTC-7, Emmanuel Charpentier wrote: > > > > Le mercredi 26 octobre 2016 00:42:01 UTC+2, John H Palmieri a écrit : >> >> I have no opinion on whether this approach is on the whole a good idea, >> but I will point out that "which curl" is not as

Re: [sage-devel] add curl as a standard package

There is a curl-config utility. -- 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] Re: Can we depend on system's utilities and libraries ?

Sure. What you uncovered here is larger than R. -- 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,