Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-20 Thread Ludovic Courtès
Hello, Zelphir Kaltstahl skribis: > Now I don't know where I would get the Guile bindings from. Are they > included in the releases on https://gnutls.org/ ? Yes, the Guile bindings are part of GnuTLS itself. See also the instructions at

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-17 Thread Mark H Weaver
Hi Alex, Alex Vong writes: > Btw, this bug report[0] > explains why the guile bindings were removed. Although it's mark as > wontfix, should we encourage the maintainers to re-enable the guile > bindings in the experimental repository? Based on: https://bugs.debian.org/cgi-bin/bugreport.cgi?b

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-17 Thread Alex Vong
Mark H Weaver writes: > Hi Alex, > > Alex Vong writes: > >> Maybe what I wrote is not clear. What I mean is that since Debian build >> of gnutls does not include the guile bindings, we have to build gnutls >> from the source tarball ourselves. >> >> The flag "--with-guile-site-dir=/usr/local/sha

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-16 Thread Mark H Weaver
Hi Alex, Alex Vong writes: > Maybe what I wrote is not clear. What I mean is that since Debian build > of gnutls does not include the guile bindings, we have to build gnutls > from the source tarball ourselves. > > The flag "--with-guile-site-dir=/usr/local/share/guile/site/2.2" > instructs the

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-16 Thread Alex Vong
Hello Mark, Mark H Weaver writes: > Hi Alex, > > Alex Vong writes: > >> Zelphir Kaltstahl writes: >> >>> I took another look at the page you linked to. The issue is, that I >>> would like to try Guix package manager to install GNUTLS + Guile >>> bindings, but Guix itself has the requirement of

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-16 Thread Mark H Weaver
Hi Alex, Alex Vong writes: > Zelphir Kaltstahl writes: > >> I took another look at the page you linked to. The issue is, that I >> would like to try Guix package manager to install GNUTLS + Guile >> bindings, but Guix itself has the requirement of GNUTLS + Guile >> bindings. See: >> https://www

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-16 Thread Alex Vong
Hi Zelphir, Zelphir Kaltstahl writes: > Hi Mark, > > I took another look at the page you linked to. The issue is, that I > would like to try Guix package manager to install GNUTLS + Guile > bindings, but Guix itself has the requirement of GNUTLS + Guile > bindings. See: > https://www.gnu.org/sof

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-15 Thread Mark H Weaver
Zelphir Kaltstahl writes: > I took another look at the page you linked to. The issue is, that I > would like to try Guix package manager to install GNUTLS + Guile > bindings, but Guix itself has the requirement of GNUTLS + Guile > bindings. See: > https://www.gnu.org/software/guix/manual/en/html_

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-15 Thread Zelphir Kaltstahl
Hi Mark, I took another look at the page you linked to. The issue is, that I would like to try Guix package manager to install GNUTLS + Guile bindings, but Guix itself has the requirement of GNUTLS + Guile bindings. See: https://www.gnu.org/software/guix/manual/en/html_node/Requirements.html#Requi

Re: How to build GNUTLS Guile bindings on Xubuntu

2018-11-14 Thread Mark H Weaver
Hi Zelphir, Zelphir Kaltstahl writes: > I read in the docs at > https://www.gnu.org/software/guile/manual/html_node/Web-Client.html that > Guile will dynamically make use of GNUTLS for HTTPS requests. However, I > don't seem to have the bindings installed. There is a link to a guide on > the sam

How to build GNUTLS Guile bindings on Xubuntu

2018-11-14 Thread Zelphir Kaltstahl
Hi, I read in the docs at https://www.gnu.org/software/guile/manual/html_node/Web-Client.html that Guile will dynamically make use of GNUTLS for HTTPS requests. However, I don't seem to have the bindings installed. There is a link to a guide on the same docs page, but the link is dead: https://www