Email or username:

Password:

Forgot your password?
Ludovic's posts Post Back to profile
Ludovic Courtès

#Guix packagers: you may like these new REPL commands to inspect a package’s configure flags, phases, etc. 👇
guix.gnu.org/manual/devel/en/h

4 Dec 2023 at 22:53 | Open on toot.aquilenet.fr
13 comments
takin' a break

@civodul 😍😍😍😍💜💜💜💜💜

4 Dec 2023 at 23:06 | Open on solarpunk.moe
Csepp 🌢

@civodul I don't quite get why these need to be REPL commands instead of normal functions. 🤔

5 Dec 2023 at 4:44 | Open on merveilles.town
Ludovic Courtès

@csepp The answer is twofold: (1) providing concise ways to express things packagers may want to do, and (2) presenting data in a human-friendly way (lowering gexps and pretty-printing the result).

One can still do “,pp (package-arguments grep)” but that’s less convenient.

See issues.guix.gnu.org/67489 for a discussion.

5 Dec 2023 at 12:52 | Open on toot.aquilenet.fr
Csepp 🌢

@civodul The problem is that this makes hard to use these in scripts. I ran into exactly this issue when I was writing my MirageOS importer (which I promise I'm gonna try upstreaming during the holidays 😅). I needed to build a package that just ran mirage configure and use the dune config file from it to get the dependency list and call the opam importer, which then generated the code.
Sure, I figured out how to do it in the end, but it was more complicated than just calling (build thing).

5 Dec 2023 at 16:31 | Open on merveilles.town
Csepp 🌢

@civodul Maybe this is a too far reaching problem, but: if the issue is that the string serializations of packages are not nice to read, why not make Guile serialize things nicely by default?
Maybe Scheme should have a separate generic interface/typeclass/whatever for pretty printing and concise serialization, similar to Rust.

5 Dec 2023 at 16:33 | Open on merveilles.town
Ludovic Courtès

@csepp This is meant as a handy interface to inspect packages.

Doing the same in a script is ~10 lines of code:
git.savannah.gnu.org/cgit/guix

But it’s not so useful: in a script, you’d rather call ‘package-arguments’ and preserve gexps as is instead of lowering them, or you’d lower the whole package.

5 Dec 2023 at 22:54 | Open on toot.aquilenet.fr
Janneke

@civodul the ",phases grep" is pretty nice; how would you print grep's phases for --system=i586-gnu?

5 Dec 2023 at 7:51 | Open on todon.nl
Ludovic Courtès

@janneke Currently you have to explicitly do (%current-system "i586-gnu") beforehand.

5 Dec 2023 at 12:49 | Open on toot.aquilenet.fr
Janneke

@civodul Oh, but that will do nicely!

5 Dec 2023 at 12:49 | Open on todon.nl
Janneke

@civodul just tried it

$ ./pre-inst-env guix repl
scheme@(guix-user)> ,use(guix)
scheme@(guix-user)> ,use(guix utils)
scheme@(guix-user)> ,use(gnu packages base)
scheme@(guix-user)> (%current-system "i586-gnu")
$1 = "x86_64-linux"
scheme@(guix-user)> ,make-flags coreutils
scheme@(guix-user)> ,make-flags coreutils
$3 = (list (string-append "XFAIL_TESTS="
" test-fdutimensat"
" test-futimens"
" test-linkat"
" test-renameat"
" test-renameatu"
" test-utimensat"))

-- lovely!

@civodul just tried it

$ ./pre-inst-env guix repl
scheme@(guix-user)> ,use(guix)
scheme@(guix-user)> ,use(guix utils)
scheme@(guix-user)> ,use(gnu packages base)
scheme@(guix-user)> (%current-system "i586-gnu")
$1 = "x86_64-linux"
scheme@(guix-user)> ,make-flags coreutils
scheme@(guix-user)> ,make-flags coreutils
$3 = (list (string-append "XFAIL_TESTS="
" test-fdutimensat"
" test-futimens"
" test-linkat"
" test-renameat"
" test-renameatu"
" test-utimensat"))

5 Dec 2023 at 12:54 | Open on todon.nl
Pjotr Prins

@janneke @civodul Can we compile define-public on the fly? That will be shockingly effective.

5 Dec 2023 at 13:09 | Open on mastodon.social
Sharlatan

@civodul Why not to include the common Guix's modules to load as an entry point? To reduce the number of representative commands:
```
scheme@(guix-user)> ,use (guix)
scheme@(guix-user)> ,use (gnu packages base)
```

Maybe (guix), (guix utils) and some others.

5 Dec 2023 at 20:07 | Open on mastodon.social
Ludovic Courtès

@sharlatan There are situations where having ‘guix repl’ load stuff upfront is not desirable (I can’t recall the details off the top of my head).

5 Dec 2023 at 22:48 | Open on toot.aquilenet.fr
Go Up