chuix.git/gnu, branch fix-out-of-tree-make

gnu: sbcl-coalton: Update to 0.0.1-6.14ed6dc.

2026-05-01T07:48:08Z

* gnu/packages/lisp-xyz.scm (sbcl-coalton): Update to 0.0.1-6.14ed6dc. [native-inputs]: Add sbcl-html-entities, sbcl-spinneret, sbcl-yason. [inputs]: Add sbcl-computable-reals. Change-Id: I4db0a77e9e4707f58e8de0499943fb9d85aac690 Signed-off-by: Andreas Enge

gnu: sbcl-computable-reals: Update to 1.1.1-2.607a5d5.

2026-05-01T07:48:08Z

Newer coalton versions needs at least b2aad89 (for `RATIONALIZE-R') which is three years old. * gnu/packages/lisp-xyz.scm (sbcl-computable-reals): Update to 1.1.1-2.607a5d5. Change-Id: Ib10a469eb3cf8fb70c08caa042fb7acbff3913b2 Signed-off-by: Andreas Enge

gnu: ocaml-4.07-boot: Fetch source tarball via HTTPS.

2026-05-01T07:45:50Z

* gnu/packages/ocaml.scm (ocaml-4.07-boot)[source]: Use HTTPS. Change-Id: I0f2f04b31c358e0b63523fe4c4e7050229c58285 Signed-off-by: Julien Lepiller

gnu: ocaml-4.09: Fetch source tarball via HTTPS.

2026-05-01T07:45:44Z

* gnu/packages/ocaml.scm (ocaml-4.09)[source]: Use HTTPS. Change-Id: Iff68d05ad6c6e51733ed53d71dc148dc97b10eca Signed-off-by: Julien Lepiller

gnu: ocaml-4.14: Fetch source tarball via HTTPS.

2026-05-01T07:45:30Z

* gnu/packages/ocaml.scm (ocaml-4.14)[source]: Use HTTPS. Change-Id: I21f342a7b7adbccbb8c6ce0b452f02442b9e39e6 Signed-off-by: Julien Lepiller

gnu: mars: Remove nonfree files from source.

2026-05-01T05:46:48Z

* gnu/packages/games.scm (mars)[source]: Remove unused nonfree libraries. [license]: Specify correct license for music files. Change-Id: I9b64ce6c9b256bed8b45edd7ee49496dfe798335 Signed-off-by: Liliana Marie Prikler

gnu: taisei: Update description.

2026-05-01T05:46:47Z

* gnu/packages/games.scm (taisei)[description]: Attempt to improve clarity. Reported-by: bdnahu

gnu: taisei: Update to 1.4.4.

2026-05-01T05:46:47Z

* gnu/packages/games.scm (taisei): Update to 1.4.4. [native-inputs]: Add cmake-minimal. [inputs]: Replace sdl2 and sdl2-mixer with sdl3. Add glslang, libdecor, spirv-tools, and vulkan-loader.

services: go-webdav: Don't run service as root.

2026-05-01T05:46:47Z

Instead, run it as the created go-webdav user. Since go-webdav doesn't drop privileges by itself this requires explicitly passing the users and group via make-forkexec-constructor, which was overlooked here. Without this patch, the account created by go-webdav-account-service is just not used at all, which is not what was intended here. * gnu/services/web.scm (go-webdav-shepherd-service): Pass #:user as well as #:group to make-forkexec-constructor. Change-Id: Ib48aa7884aca84c488133a035a76a7edfaaf0aab Signed-off-by: Liliana Marie Prikler

services: sogogi: Don't run service as root.

2026-05-01T05:46:47Z

Instead, run it as the created sogogi user. Since sogogi doesn't drop privileges by itself this requires explicitly passing the users and group via make-forkexec-constructor, which was overlooked here. Without this patch, the account created by sogogi-account-service is just not used at all, which is not what was intended here. * gnu/services/web.scm (sogogi-shepherd-service): Pass #:user as well as #:group to make-forkexec-constructor. Change-Id: Ifcb4291090e1aa6a43502c9ed581b0b0ff68a1b4 Signed-off-by: Liliana Marie Prikler