me
/
guix
Archived
1
0
Fork 0

gnu: mercury-minimal: Update to 22.01.4.

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete file path, update libatomic-ops, and update
libgc-8.

Signed-off-by: Christopher Baines <mail@cbaines.net>
jgart 2022-12-09 18:00:45 -06:00 committed by Christopher Baines
parent 0682e7c2e3
commit 1810d67ad4
No known key found for this signature in database
GPG Key ID: 5E28A33B0B84F577
1 changed files with 7 additions and 7 deletions

View File

@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
;;; Copyright © 2022 jgart <jgart@dismail.de>
;;;
;;; This file is part of GNU Guix.
;;;
@ -56,7 +57,7 @@
(define-public mercury-minimal
(package
(name "mercury-minimal")
(version "20.06.1")
(version "22.01.4")
(source (origin
(method url-fetch)
(uri (string-append
@ -64,7 +65,7 @@
version ".tar.gz"))
(sha256
(base32
"07qwkk871yxd4q1sw5xv26g8jrpvnpprmzvfd7zg7i142kl3l2gg"))))
"1vakjg4rqpplkxw7k91qv8jvlasrr6iwrzrylwqllbq088qs0mbp"))))
(build-system gnu-build-system)
(arguments
`(#:modules ((guix build gnu-build-system)
@ -112,7 +113,6 @@
"scripts/Mmake.vars.in"
"scripts/mdb.in"
"scripts/rs6000_hack"
"scripts/fullarch"
"scripts/mmc.in"
"scripts/canonical_grade"
"scripts/mprof.in"
@ -143,14 +143,14 @@
(gc-fork
libatomic-ops
"https://github.com/Mercury-Language/libatomic_ops.git"
"49b70d57f6922fd8be55a7dcb77955c8abfc9ae9"
"1flvwscsa6b2b8a38vhhcgl10bbkb5nnihw7s7iia60cinf7wcqm")))
"95809e50a5ff6e765f1af2f589796970a73e9c00"
"0a1y795bvzwzk1v8d9g6wvifj7hvhmxlir1g581bq2slj16h95iz")))
("libgc" ,(package-source
(gc-fork
libgc-7
"https://github.com/Mercury-Language/bdwgc.git"
"43ac2ea45261ba0a715534e9da41b2504904c46a"
"0bmzmbs7id0ndyhy9xli6fhfad1shrim6vmy2k8m1nqr5wb31q76")))
"def741752f55f9068d4f469a14c4b2c168829730"
"07d94j5l9w6l2kjmcwblgn5lf77aw3r0zjn22pq4hbhknky6ny43")))
("pkg-config" ,pkg-config)))
(synopsis "Pure logic programming language (used only for
bootstrapping dependent Mercury)")