Re: OCaml 5.0 and Guix

2022-09-27 Thread pukkamustard
Hi, zimoun writes: >> Still very much WIP, but a way to give OCaml 5.0 with multicore support >> a try. > > What is the status of OCaml bootstrapping for this new version? Currently 5.0 is not bootstrapped with camlboot. > Can we have a chain from camlboot -> OCaml 4.07 -> ?? -> v5.0? That

Re: Proposal: A new build-system API

2022-09-27 Thread Philip McGrath
Hi, On 9/26/22 14:07, Mája Tomášek wrote: For example, there's currently no guarantee that #:phases will contain list of functions and the error from that will be cryptic. Contrast that with the service-configuration API. There are field sanitizers that ensure that the configuration is propper a

Re: Emacs integration for 'guix shell'

2022-09-27 Thread Thompson, David
On Mon, Sep 26, 2022 at 10:44 PM Maxim Cournoyer wrote: > > Hi, > > Olivier Dion via "Development of GNU Guix and the GNU System > distribution." writes: > > [...] > > > I have the following in my .dir-locals.el for my library libpatch. The > > idea is the same, but without direnv: > > > > ((nil

Re: OCaml 5.0 and Guix

2022-09-27 Thread zimoun
Hi, On Tue, 27 Sep 2022 at 06:57, pukkamustard wrote: >> What is the status of OCaml bootstrapping for this new version? > > Currently 5.0 is not bootstrapped with camlboot. My question is: what does 5.0 require to compile? Against which previous OCaml version, is it possible to compile OCaml

Re: git guix checkout automation for contributors

2022-09-27 Thread zimoun
Hi, On Mon, 26 Sep 2022 at 22:37, Josselin Poiret wrote: >> When running “guix time-machine” (inferiors), all the machinery >> “./bootstrap && ./configure --localstatevar=/var && make” is >> transparently done. We discussed that at the 10 Years event with >> Josselin. > > Yes! Although FTR non

Re: Emacs integration for 'guix shell'

2022-09-27 Thread zimoun
Hi, Thanks for sharing. On Mon, 26 Sep 2022 at 14:30, Olivier Dion via "Development of GNU Guix and the GNU System distribution." wrote: > dev-env: > --8<---cut here---start->8--- > #!/bin/sh > guix shell\ > --pure

Re: Emacs integration for 'guix shell'

2022-09-27 Thread Development of GNU Guix and the GNU System distribution.
On Tue, 27 Sep 2022, zimoun wrote: > > --8<---cut here---start->8--- > #!/bin/sh > > guix time-machine -C channels.scm \ > -- shell --pure \ > -m manifest.scm \ > -- $@ > --8<---cut here---end--

Re: GNU Guix on iPad2 (A1395)

2022-09-27 Thread Timothy Sample
Hi Jacob, Jacob Hrbek writes: > The issue is that i can't get libusbmuxd (the daemon used to > communicate with iDevices from Linux) to work on GNU Guix likely due > to a configuration error in guix to perform the exploit and install > guix, can someone help? > https://github.com/libimobiledevic

Some concerns on the current situation on Go packaging

2022-09-27 Thread Gabriel Arazas
Hello! I'm a bit concerned about the current situation of packaging of Go applications in Guix. Go modules also use semantic versioning [1] similarly to Rust packages. In Guix, some of the Rust packages are packaged with different versions [2]. This is nice (and tedious) as applications are mo

Re: Emacs integration for 'guix shell'

2022-09-27 Thread zimoun
Hi, On Tue, 27 Sep 2022 at 08:06, Olivier Dion via "Development of GNU Guix and the GNU System distribution." wrote: > --8<---cut here---start->8--- > #!/bin/sh > guix time-machine -C channels.scm\ > -- shell --pure \ > --devel