Re: Trusted Firmware-A (ARMv8)

It’s rather complicated. Anyway, I have to adapt the source code to be able to install Guix on this board. It will take me some time to figure out how to do this. Maybe start by modifying `make-arm-trusted-firmware'. -- Best regards, Kevin Vigouroux

Re: Release progress, week 2, release manifest, what builds are failing?

Ludovic Courtès writes: > $ make assert-binaries-available > Compiling Scheme modules... > Compiling Scheme modules... > Compiling Scheme modules... > Compiling Scheme modules... > computing 401 package derivations for x86_64-linux... > looking for 508 store items on https://ci.guix.gnu.org...

Re: * TODO Guix json dump all python packages in channel (CLI)

Hi, On Mon, 24 Oct 2022 at 22:03, jgart wrote: > Wouldn't it be cool if you could do > > ``` > guix dump -L my-guix-channel/ --json --filter=py > ``` > > I know it's possible by writing Guix API code. >From my opinion, this perfectly fits a Guix extension. Well, if you are interested by the JS

Build LanguageTool use maven-build-system?

I believe LanguageTool[1] is a Java project using Maven as it's building tool. Lazy me. Instead of digging the mailing list and source code which would cost too much time and may not work out. I packaged the binary distribution (jar files) using =copy-build-system= which I am trying to get it mer

Re: Release progress, week 2, release manifest, what builds are failing: gst-plugins-bad

Christopher Baines writes: > /gnu/store/msq74p2bd4g99n2x2wl85pjwc51pp82f-gst-plugins-bad-1.20.3.drv I spotted ci.guix.gnu.org actually has a substitute for this. Turns out it's just very flaky. bordeaux.guix.gnu.org has now attempted to build it 9 times, and only 1 build succeeded: https://dat

Re: Build LanguageTool use maven-build-system?

Le 25 octobre 2022 04:10:51 GMT+02:00, Declan Tsien a écrit : > >I believe LanguageTool[1] is a Java project using Maven as it's building >tool. > >Lazy me. Instead of digging the mailing list and source code which would >cost too much time and may not work out. I packaged the binary >distribu

Re: Types and builds for mypy

Hi Phil, Phil writes: > Thanks for your reply Maxim, > > Maxim Cournoyer writes: > > >> Is MyPy the only consumer of Python type annotations? I think so, but >> I'm not sure. If it's the only one, it'd make sense to move mypy and >> all the annotation types to (gnu packages python-types), I th

Re: Build LanguageTool use maven-build-system?

Julien Lepiller writes: > > There's no importer and an importer would be a bit limited as it won't be > able to get proper sources most of tge tine, though importing the dependency > graph would be useful already. Would you like to give it a try? :) > Can you elaborate on this? How can I impor

Exact Versions and Guix Dev Tooling

Hi, What's the Guix approach to getting exact versions for a dev project. Should we be contributing those packages upstream or should Guix just provide the tooling to generate exact package definitions for exact versions that are needed in a particular project? For example, what if a dev needs t

guix git authenticate throws hard

guix git authenticate 95620d8845a75c9721876441e66bf28ba4a95eff jgart Backtrace: 11 (primitive-load "/home/jgart/.config/guix/current/bin/g…") In guix/ui.scm: 2263:7 10 (run-guix . _) 2226:10 9 (run-guix-command _ . _) In ice-9/boot-9.scm: 1752:10 8 (with-exception-handler _ _ #:

Re: Build LanguageTool use maven-build-system?

Am Mittwoch, dem 26.10.2022 um 07:56 +0800 schrieb Declan Tsien: > Julien Lepiller writes: > > > > > There's no importer and an importer would be a bit limited as it > > won't be able to get proper sources most of tge tine, though > > importing the dependency graph would be useful already. Would

Re: Build LanguageTool use maven-build-system?

Liliana Marie Prikler writes: > What Julien means is that if you were trying to write an importer, > you'd end up writing one that produces something like this > > (define-public java-language-tool > (package >(name "java-language-tool") >(version "6.0") >(source

Re: guix git authenticate throws hard

From the manual: "signer is the OpenPGP fingerprint of public key used to sign commit.", but we should still catch this error :) Le 26 octobre 2022 04:33:50 GMT+02:00, jgart a écrit : > guix git authenticate 95620d8845a75c9721876441e66bf28ba4a95eff jgart >Backtrace: > 11 (primitive-load

Re: Exact Versions and Guix Dev Tooling

Hi, Am Dienstag, dem 25.10.2022 um 20:49 -0500 schrieb jgart: > Hi, > > What's the Guix approach to getting exact versions for a dev project. > > Should we be contributing those packages upstream or should Guix just > provide the tooling to generate exact package definitions for exact > versions

Re: guix git authenticate throws hard

On Wed, 26 Oct 2022 07:21:35 +0200 Julien Lepiller wrote: > From the manual: "signer is the OpenPGP fingerprint of public key used to > sign commit.", but we should still catch this error :) Is it possible to give the email instead of the fingerprint? Deduce the fingerprint from the email?