guix_mirror_bot pushed a commit to branch add-compress-debug-symbols-phase in repository guix.
commit f9788a5fbb2bd75b5f7c0bcce8dad2da7c8fcf98 Author: Maxim Cournoyer <[email protected]> AuthorDate: Tue Nov 18 23:30:01 2025 +0900 gnu: cedille: Adjust to use Zstd file extension. * gnu/packages/cedille.scm (cedille): [#:phases]: Delete trailing #t. {patch-cedille-paths}: Use the .zst file extension. Change-Id: I3d2bb3f6182b97c1ed5244f6a093c0eb249e9813 --- gnu/packages/cedille.scm | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm index 1f00e8f698..25797390ee 100644 --- a/gnu/packages/cedille.scm +++ b/gnu/packages/cedille.scm @@ -57,8 +57,7 @@ (substitute* "cedille-mode/cedille-mode-info.el" (("\\(concat cedille-path-el \"cedille-info-main.info\"\\)") (string-append - "\"" out "/share/info/cedille-info-main.info.gz\""))) - #t))) + "\"" out "/share/info/cedille-info-main.info.zst\"")))))) (add-after 'patch-cedille-paths 'copy-cedille-mode (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) @@ -72,8 +71,7 @@ (mkdir-p (string-append lisp "se-mode")) (copy-recursively "se-mode" - (string-append lisp "se-mode")) - #t))) + (string-append lisp "se-mode"))))) ;; FIXME: Byte compilation fails (delete 'build) (replace 'check @@ -81,15 +79,15 @@ (with-directory-excursion "cedille-tests" (invoke "sh" "run-tests.sh")))) (add-after 'unpack 'patch-libraries - (lambda _ (patch-shebang "create-libraries.sh") #t)) + (lambda _ + (patch-shebang "create-libraries.sh"))) (add-after 'unpack 'copy-ial (lambda* (#:key inputs #:allow-other-keys) (copy-recursively (search-input-directory inputs "/include/agda/ial") "ial") ;; Ambiguous module if main is included from ial - (delete-file "ial/main.agda") - #t)) + (delete-file "ial/main.agda"))) (add-after 'check 'build-cedille ;; Agda has a hard time with parallel compilation (lambda _ @@ -107,8 +105,7 @@ (install-file "core/cedille-core" (string-append out "/bin")) (install-file "docs/info/cedille-info-main.info" - (string-append out "/share/info")) - #t)))))) + (string-append out "/share/info")))))))) (home-page "https://cedille.github.io/";) (synopsis "Language based on Calculus of Dependent Lambda Eliminations")
