guix_mirror_bot pushed a commit to branch master
in repository guix.
commit f64aa92bef999de0c5800829971a1aa427f8b54b
Author: Andreas Enge <[email protected]>
AuthorDate: Wed Mar 18 18:20:37 2026 +0100
gnu: Remove mercury.
* gnu/packages/mercury.scm (mercury): Delete variable.
Change-Id: I919ab8f24ca5223697e9f0facf854e8f7b26780f
---
gnu/packages/mercury.scm | 79 ------------------------------------------------
1 file changed, 79 deletions(-)
diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 875e957c9f..d3c150d187 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -163,82 +163,3 @@ the problems of large-scale program development, allowing
modularity,
separate compilation, and numerous optimization/time trade-offs.")
(home-page "https://mercurylang.org";)
(license license:gpl2)))
-
-;; NOTE: This package is quite large and will take an extensive
-;; amount of time to compile, especially with bootcheck functionality
-;; enabled. To ensure that we do not monopolize the CI & build servers,
-;; please make sure that your changes are justified.
-(define-public mercury
- (package (inherit mercury-minimal)
- (name "mercury")
- (version "22.01.4")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/Mercury-Language/mercury";)
- (commit (string-append
- "version-"
- (string-join (string-split version #\.) "_")))))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh"))))
- (arguments
- (substitute-keyword-arguments
- (package-arguments mercury-minimal)
- ;; TODO: Find a way to bypass all static linkages.
- ((#:configure-flags flags ''())
- `(list ""))
- ((#:tests? _) #f) ; FIXME: Many test-cases failing.
- ((#:phases phases)
- `(modify-phases ,phases
- (replace 'patch-paths
- (lambda _
- (substitute*
- (list "prepare.sh"
- "Makefile"
- "Mmakefile"
- "scripts/mercury_update_interface.in"
- "scripts/mercury_config.in"
- "scripts/mmake.in"
- "scripts/Mmake.vars.in"
- "scripts/mdb.in"
- "scripts/rs6000_hack"
- "scripts/mmc.in"
- "scripts/mprof.in"
- "scripts/gud.el"
- "scripts/ml.in"
- "scripts/canonical_grade.in"
- "scripts/mdprof.in"
- "scripts/vpath_find"
- "scripts/mkfifo_using_mknod.in"
- "scripts/prepare_install_dir.in"
- "scripts/mprof_merge_runs"
- "scripts/mtc"
- "scripts/mgnuc.in"
- "scripts/c2init.in"
- "tools/bootcheck"
- "boehm_gc/configure.ac"
- "boehm_gc/Makefile.direct")
- (("/bin/sh") (which "sh"))
- (("/bin/pwd") (which "pwd"))
- (("/bin/rm") (which "rm"))
- (("boehm_gc/.git") "boehm_gc"))))
- (replace 'bootstrap
- (lambda _
- (invoke "./prepare.sh")))))))
- ;; TODO: Uncomment phase when tests are enabled.
- ;; (replace 'check
- ;; (lambda _
- ;; (invoke "./tools/bootcheck")
- ;; #t))
- ;;
- ;; TODO: The mercury configuration system determines
- ;; grade support by looking for available toolchains.
- ;; Eventually we need to add inputs for Java, Erlang,
- ;; C#, etc. in order to enable these extra grades.
- (native-inputs
- (modify-inputs (package-native-inputs mercury-minimal)
- (prepend mercury-minimal autoconf automake)))
- (synopsis "Pure logic programming language")))
