gnu: Remove mercury.

* gnu/packages/mercury.scm (mercury): Delete variable.

Change-Id: I919ab8f24ca5223697e9f0facf854e8f7b26780f

1 files changed, 0 insertions, 79 deletions

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index 875e957c9f6..d3c150d1877 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")))