gnu: poke: Update to 4.3.

* gnu/packages/engineering.scm (poke): Update to 4.3.
[source]: Update list of pre-generated files.

Change-Id: I317f5ed9a2ac5abdf3a93df7895acab788643d15
This commit is contained in:
Efraim Flashner 2025-03-16 15:06:03 +02:00
parent a4fce5d779
commit 8a565a8ff1
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -1,7 +1,7 @@
;;; GNU Guix --- Functional package management for GNU ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015-2025 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2015-2025 Ricardo Wurmus <rekado@elephly.net>
;;; Copyright © 2015 Federico Beffa <beffa@fbengineering.ch> ;;; Copyright © 2015 Federico Beffa <beffa@fbengineering.ch>
;;; Copyright © 2016, 2018, 2020-2024 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016, 2018, 2020-2025 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2016 David Thompson <davet@gnu.org> ;;; Copyright © 2016 David Thompson <davet@gnu.org>
;;; Copyright © 2016-2019, 2021, 2023 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2016-2019, 2021, 2023 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2016, 2017, 2018 Theodoros Foradis <theodoros@foradis.org> ;;; Copyright © 2016, 2017, 2018 Theodoros Foradis <theodoros@foradis.org>
@ -3652,19 +3652,18 @@ program that can perform mesh processing tasks in batch mode, without a GUI.")
(define-public poke (define-public poke
(package (package
(name "poke") (name "poke")
(version "4.2") (version "4.3")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnu/poke/poke-" version (uri (string-append "mirror://gnu/poke/poke-" version
".tar.gz")) ".tar.gz"))
(sha256 (sha256
(base32 "1plv26x38jy2g97f7gj2kivjwlgcx5cja3m41qa56yin3vk3dbwa")) (base32 "0wwkawchhmzvkj46nc8pwlnb6g5qc83gv0943x0mmm2hblbvjk58"))
(modules '((guix build utils))) (modules '((guix build utils)))
(snippet (snippet
'(begin '(begin
;; Delete files generated by Bison. ;; Delete files generated by Bison.
(delete-file "gl/parse-datetime.c") (delete-file "gl/parse-datetime.c")
(delete-file "gl/parse-datetime-gen.h")
(delete-file "jitter/example-vms/structured/structured-parser.c") (delete-file "jitter/example-vms/structured/structured-parser.c")
(delete-file "jitter/example-vms/structured/structured-parser.h") (delete-file "jitter/example-vms/structured/structured-parser.h")
(delete-file "jitter/jitterc/jitterc-parser.c") (delete-file "jitter/jitterc/jitterc-parser.c")
@ -3686,6 +3685,8 @@ program that can perform mesh processing tasks in batch mode, without a GUI.")
(delete-file "libpoke/pkl-lex.h") (delete-file "libpoke/pkl-lex.h")
(delete-file "poke/pk-map-lex.c") (delete-file "poke/pk-map-lex.c")
(delete-file "poke/pk-map-lex.h") (delete-file "poke/pk-map-lex.h")
(delete-file "pokefmt/pokefmt.c")
(delete-file "pokefmt/pokefmt.h")
;; Other generated files: ;; Other generated files:
(delete-file "jitter/example-vms/jitterlisp/jitterlispvm-vm1.c") (delete-file "jitter/example-vms/jitterlisp/jitterlispvm-vm1.c")
(delete-file "jitter/example-vms/jitterlisp/jitterlispvm-vm2.c") (delete-file "jitter/example-vms/jitterlisp/jitterlispvm-vm2.c")