Re: OCaml bootstrap

Le 4 mai 2023 10:41:18 GMT+02:00, Simon Tournier a écrit : >Hi, > >On Wed, 03 May 2023 at 23:25, Julien Lepiller wrote: > >>>Julien, do you happen to know if there are plans to make camlboot more >>>capable so it can be used to build newer versions of OCaml? Maybe >>>something to discuss

Re: OCaml bootstrap

Hi, On Wed, 03 May 2023 at 23:25, Julien Lepiller wrote: >>Julien, do you happen to know if there are plans to make camlboot more >>capable so it can be used to build newer versions of OCaml? Maybe >>something to discuss with Nathanaëlle Courant and Gabriel Scherer? > We had some discussion

Re: Build dependency inflation

Hi, On Wed, 03 May 2023 at 23:10, Ludovic Courtès wrote: > We could also couple the actual graph with data such as individual > output size. Oh, that’s a cool idea: apply network algorithms to a weighted graph. It looks like a nice student project. :-) Cheers, simon

Re: Adding content-addressed URLs to https://guix.gnu.org/sources.json

Hello! Maxim Cournoyer skribis: > Ludovic Courtès writes: [...] >> So I guess as a matter of policy, we should try and find other ways to >> express this so we don’t lose track of origins. > > Thanks for explaining, it makes sense. One way to tip package writers > in the right direction

Re: 07/19: services: postgresql: Add default package.

Ludovic Courtès writes: > Christopher Baines skribis: > >> guix-comm...@gnu.org writes: >> >>> civodul pushed a commit to branch master >>> in repository guix. >>> >>> commit e45306c1982aee194243cf661295c7ca776d879f >>> Author: Ludovic Courtès >>> AuthorDate: Thu Apr 20 10:38:37 2023 +0200

Re: package transformation and “guix graph”?

Hi, (Well, something appears to me weird: rebuild Gnash which is a C++ software using another toolchain implies a Rust-world rebuild.) On Wed, 03 May 2023 at 23:36, Ludovic Courtès wrote: > Note that it’s not the same version (0.12.0 vs. 0.8.1), but the result > is the same with 0.8. The

Re: Deploying experimental versions of Guix

david larsson writes: > On 2023-05-02 15:44, Felix Lechner via "Development of GNU Guix and the > GNU System distribution." wrote: >> Hi, >> >> I'd like to test changes to (gnu system pam). How may I configure my >> system, preferably using "deploy," please, while also pulling from my >>

Re: proot-static build failures (master and core-updates)

Hi Ludo, Ludovic Courtès writes: > Josselin mentioned on IRC that they’d reported it upstream: > > https://github.com/proot-me/proot/issues/352 > > Do these tests reveal a real issue, or should we just skip them until a > fix lands upstream? From what I understand of the failing test it

Re: Help! Having troubles testing my generalization of home-redshift-service

Hi Gabriel, Gabriel Wicki writes: > Hi y'all! > > I've been working on a patch on generalizing the > home-redshift-service-type to also work under wayland. I've created the > following patch but am now running into difficulties testing it. > > I've created two minimalist system configurations

Free Style Nginx Service Type

There was a few flaws in the current implementation of nginx guix service type, for example the one described here: https://issues.guix.gnu.org/37388 There are other things, for example it's really hard or even impossible to implement some cases in a sane way: adding rtmp context and later

Re: Outdated dicod-service example in manual

Ludovic Courtès writes: > Hi Nathaniel, > > Apologies for the delay! > > Nathaniel Nicandro skribis: > >> First off, I want to say thanks to all the Guix contributors. I've >> really enjoyed my time tinkering with my system! This is my first >> post >> to the mailing list after using Guix

Re: gcc-toolchain is missing libstdc++.so

Sorry for the spam; Resending this without the bugs address, but with the issue's address. Christopher Rodriguez writes: > [[PGP Signed Part:Undecided]] > > Hello All, > > I noticed today that libstdc++.so.1 (and some others), which used to be > part of gcc:lib, are not included in any of the

gcc-toolchain is missing libstdc++.so

Hello All, I noticed today that libstdc++.so.1 (and some others), which used to be part of gcc:lib, are not included in any of the outputs of the superceding `gcc-toolchain` package. Is there another method for getting these needed shared libraries in a guix system at this point? It's entirely

Re: Reverting d477018b57 "gnu: poetry: Update to 1.1.12."

Hi Tanguy, On Wed, May 03, 2023 at 09:49 AM, Tanguy LE CARROUR wrote: > Hi Guix, > > I noticed yesterday that Poetry was broken: > . > > I might have spotted it earlier if I had spend time testing `core-update`. > My bad! > Yes, I noticed that too

Re: Reverting d477018b57 "gnu: poetry: Update to 1.1.12."

Hi John, Quoting John Kehayias (2023-05-04 17:09:14) > On Wed, May 03, 2023 at 09:49 AM, Tanguy LE CARROUR wrote: > > I noticed yesterday that Poetry was broken: > > . > > > > I might have spotted it earlier if I had spend time testing

Re: gcc-toolchain is missing libstdc++.so

Hi Christopher, On Thu, May 04, 2023 at 11:05 AM, Christopher Rodriguez wrote: > > Sorry for the spam; Resending this without the bugs address, but with > the issue's address. > > Christopher Rodriguez writes: > >> >> Hello All, >> >> I noticed today that libstdc++.so.1 (and some others), which

Re: OCaml bootstrap

Hi Julien, On jeu., 04 mai 2023 at 12:01, Julien Lepiller wrote: > Have a grep-for-build that is never updated? Build camlboot once and > repackage the binary (making it a bootstrap seed)? Yes, something like that. Well, the packages that camlboot depends on barely change because most of

Re: gcc-toolchain is missing libstdc++.so

Hi, --- Original Message --- On Thursday, May 4th, 2023 at 3:26 PM, John Kehayias wrote: > > Hi Christopher, > > On Thu, May 04, 2023 at 11:05 AM, Christopher Rodriguez wrote: > > > Sorry for the spam; Resending this without the bugs address, but with > > the issue's address. > > >

Re: gcc-toolchain is missing libstdc++.so

Hi again, On Thu, May 04, 2023 at 11:19 AM, John Kehayias wrote: > Thanks for opening this and cc'ing; this has come up with some > frequency on IRC, especially recently. In discussing there today, the > current reasoning is that usually one will just call g++ which knows > how to find

Re: gcc-toolchain is missing libstdc++.so

On 5/4/23 11:33 AM, Kaelyn wrote: Regarding solutions, I would prefer to have libstdc++ in it's own package or output rather than bundled into gcc-toolchain:out; it feels messy and against the grain of isolating programs in containers if I have to make the gcc and g++ compilers available in

Re: gcc-toolchain is missing libstdc++.so

--- Original Message --- On Thursday, May 4th, 2023 at 9:50 PM, John Kehayias wrote: > > I have similar use cases of FHS containers to run binaries (primarily > > games). I recently ran into the issue of gcc:lib going away and no > > output from a visible package providing libstdc++. My

GSoC news

Hello guix, We have some news about GSoC, the community is accepting a new intern, Sarthak. The agreed on internship project title is Parameterized Packages for GNU Guix. Welcome on board, and we are looking forward to working together. As there was quite a lot of competition for places this

Re: gcc-toolchain is missing libstdc++.so

Hi all, > I have similar use cases of FHS containers to run binaries (primarily > games). I recently ran into the issue of gcc:lib going away and no > output from a visible package providing libstdc++. My current > workaround was to implement a replacement for specifications->manifest > that

Re: GSoC news

Hello Guix, Thanks for having me onboard! I hope that my project will prove useful to Guix. My project is about implementing Parameterized Packages, which will add optional Gentoo USE flag-like functionality to Guix packages. This will not only help reduce package size but also provide users

Re: GSoC news

Welcome Sarthak! On Thu, May 04, 2023 at 09:22:47PM +0200, Gábor Boskovits wrote: >Hello guix, >We have some news about GSoC, the community is accepting a new intern, >Sarthak. The agreed on internship project title is Parameterized >Packages for GNU Guix. Welcome on board, and we