;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2015, 2016 Federico Beffa ;;; Copyright © 2015 Siniša Biđin ;;; Copyright © 2015 Paul van der Walt ;;; Copyright © 2015, 2019 Eric Bavier ;;; Copyright © 2016, 2018, 2019 Ludovic Courtès ;;; Copyright © 2016, 2017 ng0 ;;; Copyright © 2016 Efraim Flashner ;;; Copyright © 2015, 2016, 2017, 2018, 2019 Ricardo Wurmus ;;; Copyright © 2016, 2017 David Craven ;;; Copyright © 2017 Danny Milosavljevic ;;; Copyright © 2017 Peter Mikkelsen ;;; Copyright © 2017, 2018 Alex Vong ;;; Copyright © 2017 rsiddharth ;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice ;;; Copyright © 2018 Tonton ;;; Copyright © 2018, 2019 Timothy Sample ;;; Copyright © 2018 Arun Isaac ;;; Copyright © 2018, 2019 Gabriel Hondet ;;; Copyright © 2019 Robert Vollmert ;;; Copyright © 2019 Jacob MacDonald ;;; Copyright © 2020 Marius Bakke ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Public License as published by ;;; the Free Software Foundation; either version 3 of the License, or (at ;;; your option) any later version. ;;; ;;; GNU Guix is distributed in the hope that it will be useful, but ;;; WITHOUT ANY WARRANTY; without even the implied warranty of ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;; GNU General Public License for more details. ;;; ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see . (define-module (gnu packages haskell) #:use-module (gnu packages) #:use-module (gnu packages bootstrap) #:use-module (gnu packages elf) #:use-module (gnu packages ghostscript) #:use-module (gnu packages libffi) #:use-module (gnu packages lisp) #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) #:use-module (gnu packages perl) #:use-module (gnu packages python) #:use-module (guix build-system gnu) #:use-module (guix download) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) #:use-module (guix utils) #:use-module (ice-9 match) #:use-module (ice-9 regex)) (define-public cl-yale-haskell (let ((commit "85f94c72a16c5f70301dd8db04cde9de2d7dd270") (revision "1")) (package (name "cl-yale-haskell") (version (string-append "2.0.5-" revision "." (string-take commit 9))) (source (origin (method git-fetch) (uri (git-reference (url "https://git.elephly.net/software/yale-haskell.git") (commit commit))) (file-name (string-append "yale-haskell-" commit "-checkout")) (sha256 (base32 "0bal3m6ryrjamz5p93bhs9rp5msk8k7lpcqr44wd7xs9b9k8w74g")))) (build-system gnu-build-system) (arguments `(#:tests? #f ; no tests ;; Stripping binaries leads to a broken executable lisp system image. #:strip-binaries? #f #:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out"))) #:phases (modify-phases %standard-phases (replace 'configure (lambda _ (setenv "PRELUDE" "./progs/prelude") (setenv "HASKELL_LIBRARY" "./progs/lib") (setenv "PRELUDEBIN" "./progs/prelude/clisp") (setenv "HASKELLPROG" "./bin/clisp-haskell") #t))))) (inputs `(("clisp" ,clisp))) (home-page "https://git.elephly.net/software/yale-haskell.git") (synopsis "Port of the Yale Haskell system to CLISP") (description "This package provides the Yale Haskell system running on top of CLISP.") (license license:bsd-4)))) (define ghc-bootstrap-x86_64-7.8.4 (origin (method url-fetch) (uri "https://www.haskell.org/ghc/dist/7.8.4/ghc-7.8.4-x86_64-unknown-linux-deb7.tar.xz") (sha256 (base32 "13azsl53xgj20mi1hj9x0xb32vvcvs6cpmvwx6znxhas7blh0bpn")))) (define ghc-bootstrap-i686-7.8.4 (origin (method url-fetch) (uri "https://www.haskell.org/ghc/dist/7.8.4/ghc-7.8.4-i386-unknown-linux-deb7.tar.xz") (sha256 (base32 "0wj5s435j0zgww70bj1d3f6wvnnpzlxwvwcyh2qv4qjq5z8j64kg")))) ;; 43 tests out of 3965 fail. ;; ;; Most of them do not appear to be serious: ;; ;; - some tests generate files referring to "/bin/sh" and "/bin/ls". I've not ;; figured out how these references are generated. ;; ;; - Some tests allocate more memory than expected (ca. 3% above upper limit) ;; ;; - Some tests try to load unavailable libriries: Control.Concurrent.STM, ;; Data.Vector, Control.Monad.State. ;; ;; - Test posix010 tries to check the existence of a user on the system: ;; getUserEntryForName: does not exist (no such user) (define-public ghc-7 (package (name "ghc") (version "7.10.2") (source (origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-src.tar.xz")) (sha256 (base32 "1x8m4rp2v7ydnrz6z9g8x7z3x3d3pxhv2pixy7i7hkbqbdsp7kal")))) (build-system gnu-build-system) (supported-systems '("i686-linux" "x86_64-linux")) (outputs '("out" "doc")) (inputs `(("gmp" ,gmp) ("ncurses" ,ncurses) ("libffi" ,libffi) ("ghc-testsuite" ,(origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-testsuite.tar.xz")) (sha256 (base32 "0qp9da9ar87zbyn6wjgacd2ic1vgzbi3cklxnhsmjqyafv9qaj4b")))))) (native-inputs `(("perl" ,perl) ("python" ,python-2) ; for tests (fails with python-3) ("ghostscript" ,ghostscript) ; for tests ("patchelf" ,patchelf) ;; GHC is built with GHC. Therefore we need bootstrap binaries. ("ghc-binary" ,(if (string-match "x86_64" (or (%current-target-system) (%current-system))) ghc-bootstrap-x86_64-7.8.4 ghc-bootstrap-i686-7.8.4)))) (arguments `(#:test-target "test" ;; We get a smaller number of test failures by disabling parallel test ;; execution. #:parallel-tests? #f ;; Don't pass --build=, because the configure script ;; auto-detects slightly different triplets for --host and --target and ;; then complains that they don't match. #:build #f #:modules ((guix build gnu-build-system) (guix build utils) (guix build rpath) (srfi srfi-26) (srfi srfi-1)) #:imported-modules (,@%gnu-build-system-modules (guix build rpath)) #:configure-flags (list (string-append "--with-gmp-libraries=" (assoc-ref %build-inputs "gmp") "/lib") (string-append "--with-gmp-includes=" (assoc-ref %build-inputs "gmp") "/include") "--with-system-libffi" (string-append "--with-ffi-libraries=" (assoc-ref %build-inputs "libffi") "/lib") (string-append "--with-ffi-includes=" (assoc-ref %build-inputs "libffi") "/include")) ;; FIXME: The user-guide needs dblatex, docbook-xsl and docbook-utils. ;; Currently we do not have the last one. ;; #:make-flags ;; (list "BUILD_DOCBOOK_HTML = YES") #:phases (let* ((ghc-bootstrap-path (string-append (getcwd) "/" ,name "-" ,version "/ghc-bin")) (ghc-bootstrap-prefix (string-append ghc-bootstrap-path "/usr" ))) (alist-cons-after 'unpack-bin 'unpack-testsuite-and-fix-bins (lambda* (#:key inputs outputs #:allow-other-keys) (with-directory-excursion ".." (copy-file (assoc-ref inputs "ghc-testsuite") "ghc-testsuite.tar.xz") (system* "tar" "xvf" "ghc-testsuite.tar.xz")) (substitute* (list "testsuite/timeout/Makefile" "testsuite/timeout/timeout.py" "testsuite/timeout/timeout.hs" "testsuite/tests/rename/prog006/Setup.lhs" "testsuite/tests/programs/life_space_leak/life.test" "libraries/process/System/Process/Internals.hs" "libraries/unix/cbits/execvpe.c") (("/bin/sh") (which "sh")) (("/bin/rm") "rm")) #t) (alist-cons-after 'unpack 'unpack-bin (lambda* (#:key inputs outputs #:allow-other-keys) (mkdir-p ghc-bootstrap-prefix) (with-directory-excursion ghc-bootstrap-path (copy-file (assoc-ref inputs "ghc-binary") "ghc-bin.tar.xz") (zero? (system* "tar" "xvf" "ghc-bin.tar.xz")))) (alist-cons-before 'install-bin 'configure-bin (lambda* (#:key inputs outputs #:allow-other-keys) (let* ((binaries (list "./utils/ghc-pwd/dist-install/build/tmp/ghc-pwd" "./utils/hpc/dist-install/build/tmp/hpc" "./utils/haddock/dist/build/tmp/haddock" "./utils/hsc2hs/dist-install/build/tmp/hsc2hs" "./utils/runghc/dist-install/build/tmp/runghc" "./utils/ghc-cabal/dist-install/build/tmp/ghc-cabal" "./utils/hp2ps/dist/build/tmp/hp2ps" "./utils/ghc-pkg/dist-install/build/tmp/ghc-pkg" "./utils/unlit/dist/build/tmp/unlit" "./ghc/stage2/build/tmp/ghc-stage2")) (gmp (assoc-ref inputs "gmp")) (gmp-lib (string-append gmp "/lib")) (gmp-include (string-append gmp "/include")) (ncurses-lib (string-append (assoc-ref inputs "ncurses") "/lib")) (ld-so (string-append (assoc-ref inputs "libc") ,(glibc-dynamic-linker))) (libtinfo-dir (string-append ghc-bootstrap-prefix "/lib/ghc-7.8.4/terminfo-0.4.0.0"))) (with-directory-excursion (string-append ghc-bootstrap-path "/ghc-7.8.4") (setenv "CONFIG_SHELL" (which "bash")) (setenv "LD_LIBRARY_PATH" gmp-lib) ;; The binaries have "/lib64/ld-linux-x86-64.so.2" hardcoded. (for-each (cut system* "patchelf" "--set-interpreter" ld-so <>) binaries) ;; The binaries include a reference to libtinfo.so.5 which ;; is a subset of libncurses.so.5. We create a symlink in a ;; directory included in the bootstrap binaries rpath. (mkdir-p libtinfo-dir) (symlink (string-append ncurses-lib "/libncursesw.so." ;; Extract "6.0" from "6.0-20170930" if a ;; dash-separated version tag exists. ,(let* ((v (package-version ncurses)) (d (or (string-index v #\-) (string-length v)))) (version-major+minor (string-take v d)))) (string-append libtinfo-dir "/libtinfo.so.5")) (setenv "PATH" (string-append (getenv "PATH") ":" ghc-bootstrap-prefix "/bin")) (system* (string-append (getcwd) "/configure") (string-append "--prefix=" ghc-bootstrap-prefix) (string-append "--with-gmp-libraries=" gmp-lib) (string-append "--with-gmp-includes=" gmp-include))))) (alist-cons-before 'configure 'install-bin (lambda* (#:key inputs outputs #:allow-other-keys) (with-directory-excursion (string-append ghc-bootstrap-path "/ghc-7.8.4") (zero? (system* "make" "install")))) %standard-phases))))))) (native-search-paths (list (search-path-specification (variable "GHC_PACKAGE_PATH") (files (list (string-append "lib/ghc-" version))) (file-pattern ".*\\.conf\\.d$") (file-type 'directory)))) (home-page "https://www.haskell.org/ghc") (synopsis "The Glasgow Haskell Compiler") (description "The Glasgow Haskell Compiler (GHC) is a state-of-the-art compiler and interactive environment for the functional language Haskell.") (license license:bsd-3))) (define-public ghc-8.0 (package (name "ghc") (version "8.0.2") (source (origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-src.tar.xz")) (sha256 (base32 "1c8qc4fhkycynk4g1f9hvk53dj6a1vvqi6bklqznns6hw59m8qhi")) (patches (search-patches "ghc-8.0-fall-back-to-madv_dontneed.patch")))) (build-system gnu-build-system) (supported-systems '("i686-linux" "x86_64-linux")) (outputs '("out" "doc")) (inputs `(("gmp" ,gmp) ("ncurses" ,ncurses) ("libffi" ,libffi) ("ghc-testsuite" ,(origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-testsuite.tar.xz")) (sha256 (base32 "1wjc3x68l305bl1h1ijd3yhqp2vqj83lkp3kqbr94qmmkqlms8sj")))))) (native-inputs `(("perl" ,perl) ("python" ,python-2) ; for tests ("ghostscript" ,ghostscript) ; for tests ;; GHC is built with GHC. ("ghc-bootstrap" ,ghc-7))) (arguments `(#:test-target "test" ;; We get a smaller number of test failures by disabling parallel test ;; execution. #:parallel-tests? #f ;; Don't pass --build=, because the configure script ;; auto-detects slightly different triplets for --host and --target and ;; then complains that they don't match. #:build #f #:configure-flags (list (string-append "--with-gmp-libraries=" (assoc-ref %build-inputs "gmp") "/lib") (string-append "--with-gmp-includes=" (assoc-ref %build-inputs "gmp") "/include") "--with-system-libffi" (string-append "--with-ffi-libraries=" (assoc-ref %build-inputs "libffi") "/lib") (string-append "--with-ffi-includes=" (assoc-ref %build-inputs "libffi") "/include") (string-append "--with-curses-libraries=" (assoc-ref %build-inputs "ncurses") "/lib") (string-append "--with-curses-includes=" (assoc-ref %build-inputs "ncurses") "/include")) #:phases (modify-phases %standard-phases (add-after 'unpack 'unpack-testsuite (lambda* (#:key inputs #:allow-other-keys) (with-directory-excursion ".." (copy-file (assoc-ref inputs "ghc-testsuite") "ghc-testsuite.tar.xz") (zero? (system* "tar" "xvf" "ghc-testsuite.tar.xz"))))) (add-before 'build 'fix-lib-paths (lambda _ (substitute* (list "libraries/process/System/Process/Posix.hs" "libraries/process/tests/process001.hs" "libraries/process/tests/process002.hs" "libraries/unix/cbits/execvpe.c") (("/bin/sh") (which "sh")) (("/bin/ls") (which "ls"))) #t)) (add-before 'build 'fix-environment (lambda _ (unsetenv "GHC_PACKAGE_PATH") (setenv "CONFIG_SHELL" (which "bash")) #t)) (add-before 'check 'fix-testsuite (lambda _ (substitute* (list "testsuite/timeout/Makefile" "testsuite/timeout/timeout.py" "testsuite/timeout/timeout.hs" "testsuite/tests/programs/life_space_leak/life.test") (("/bin/sh") (which "sh")) (("/bin/rm") "rm")) #t))))) (native-search-paths (list (search-path-specification (variable "GHC_PACKAGE_PATH") (files (list (string-append "lib/ghc-" version))) (file-pattern ".*\\.conf\\.d$") (file-type 'directory)))) (home-page "https://www.haskell.org/ghc") (synopsis "The Glasgow Haskell Compiler") (description "The Glasgow Haskell Compiler (GHC) is a state-of-the-art compiler and interactive environment for the functional language Haskell.") (license license:bsd-3))) (define-public ghc-8.4 (package (inherit ghc-8.0) (name "ghc") (version "8.4.4") (source (origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-src.tar.xz")) (sha256 (base32 "1ch4j2asg7pr52ai1hwzykxyj553wndg7wq93i47ql4fllspf48i")))) (inputs `(("gmp" ,gmp) ("ncurses" ,ncurses) ("libffi" ,libffi))) (native-inputs `(("perl" ,perl) ("python" ,python) ; for tests ("ghostscript" ,ghostscript) ; for tests ;; GHC 8.4.3 is built with GHC 8. ("ghc-bootstrap" ,ghc-8.0) ("ghc-testsuite" ,(origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-testsuite.tar.xz")) (sha256 (base32 "0s8lf9sxj7n89pjagi58b3fahnp34qvmwhnn0j1fbg6955vbrfj6")))))) (arguments `(#:test-target "test" ;; We get a smaller number of test failures by disabling parallel test ;; execution. #:parallel-tests? #f ;; Don't pass --build=, because the configure script ;; auto-detects slightly different triplets for --host and --target and ;; then complains that they don't match. #:build #f #:configure-flags (list (string-append "--with-gmp-libraries=" (assoc-ref %build-inputs "gmp") "/lib") (string-append "--with-gmp-includes=" (assoc-ref %build-inputs "gmp") "/include") "--with-system-libffi" (string-append "--with-ffi-libraries=" (assoc-ref %build-inputs "libffi") "/lib") (string-append "--with-ffi-includes=" (assoc-ref %build-inputs "libffi") "/include") (string-append "--with-curses-libraries=" (assoc-ref %build-inputs "ncurses") "/lib") (string-append "--with-curses-includes=" (assoc-ref %build-inputs "ncurses") "/include")) #:phases (modify-phases %standard-phases (add-after 'unpack 'unpack-testsuite (lambda* (#:key inputs #:allow-other-keys) (invoke "tar" "xvf" (assoc-ref inputs "ghc-testsuite") "--strip-components=1") #t)) ;; This phase patches the 'ghc-pkg' command so that it sorts the list ;; of packages in the binary cache it generates. (add-before 'build 'fix-ghc-pkg-nondeterminism (lambda _ (substitute* "utils/ghc-pkg/Main.hs" (("confs = map \\(path \\) \\$ filter \\(\".conf\" `isSuffixOf`\\) fs") "confs = map (path ) $ filter (\".conf\" `isSuffixOf`) (sort fs)")) #t)) (add-after 'unpack-testsuite 'fix-shell-wrappers (lambda _ (substitute* '("driver/ghci/ghc.mk" "utils/mkdirhier/ghc.mk" "rules/shell-wrapper.mk") (("echo '#!/bin/sh'") (format #f "echo '#!~a'" (which "sh")))) #t)) ;; This is necessary because the configure system no longer uses ;; “AC_PATH_” but “AC_CHECK_”, setting the variables to just the ;; plain command names. (add-before 'configure 'set-target-programs (lambda* (#:key inputs #:allow-other-keys) (let ((binutils (assoc-ref inputs "binutils")) (gcc (assoc-ref inputs "gcc")) (ld-wrapper (assoc-ref inputs "ld-wrapper"))) (setenv "CC" (string-append gcc "/bin/gcc")) (setenv "CXX" (string-append gcc "/bin/g++")) (setenv "LD" (string-append ld-wrapper "/bin/ld")) (setenv "NM" (string-append binutils "/bin/nm")) (setenv "RANLIB" (string-append binutils "/bin/ranlib")) (setenv "STRIP" (string-append binutils "/bin/strip")) ;; The 'ar' command does not follow the same pattern. (setenv "fp_prog_ar" (string-append binutils "/bin/ar")) #t))) (add-before 'build 'fix-references (lambda _ (substitute* '("testsuite/timeout/Makefile" "testsuite/timeout/timeout.py" "testsuite/timeout/timeout.hs" "testsuite/tests/programs/life_space_leak/life.test" ;; libraries "libraries/process/System/Process/Posix.hs" "libraries/process/tests/process001.hs" "libraries/process/tests/process002.hs" "libraries/unix/cbits/execvpe.c") (("/bin/sh") (which "sh")) (("/bin/ls") (which "ls")) (("/bin/rm") "rm")) #t)) (add-before 'build 'fix-environment (lambda _ (unsetenv "GHC_PACKAGE_PATH") (setenv "CONFIG_SHELL" (which "bash")) #t))))) (native-search-paths (list (search-path-specification (variable "GHC_PACKAGE_PATH") (files (list (string-append "lib/ghc-" version))) (file-pattern ".*\\.conf\\.d$") (file-type 'directory)))))) (define-public ghc-8.6 (package (inherit ghc-8.4) (name "ghc") (version "8.6.5") (source (origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-src.tar.xz")) (sha256 (base32 "0qg3zsmbk4rkwkc3jpas3zs74qaxmw4sp4v1mhsbj0a0dzls2jjd")))) (native-inputs `(;; GHC 8.6.5 must be built with GHC >= 8.2. ("ghc-bootstrap" ,ghc-8.4) ("ghc-testsuite" ,(origin (method url-fetch) (uri (string-append "https://www.haskell.org/ghc/dist/" version "/" name "-" version "-testsuite.tar.xz")) (patches (search-patches "ghc-testsuite-dlopen-pie.patch")) (sha256 (base32 "0pw9r91g2np3i806g2f4f8z4jfdd7mx226cmdizk4swa7av1qf91")))) ,@(filter (match-lambda (("ghc-bootstrap" . _) #f) (("ghc-testsuite" . _) #f) (_ #t)) (package-native-inputs ghc-8.4)))) (arguments (substitute-keyword-arguments (package-arguments ghc-8.4) ((#:make-flags make-flags ''()) `(cons "EXTRA_RUNTEST_OPTS=--skip-perf-tests" ,make-flags)) ((#:phases phases '%standard-phases) `(modify-phases ,phases (add-after 'unpack-testsuite 'skip-tests (lambda _ ;; These two tests refer to the root user, which doesn't exist ;; (see ). (substitute* "libraries/unix/tests/all.T" (("^test\\('T8108'") "# guix skipped: test('T8108'")) (substitute* "libraries/unix/tests/libposix/all.T" (("^test\\('posix010'") "# guix skipped: test('posix010'")) #t)))))) (native-search-paths (list (search-path-specification (variable "GHC_PACKAGE_PATH") (files (list (string-append "lib/ghc-" version))) (file-pattern ".*\\.conf\\.d$") (file-type 'directory)))))) (define-public ghc-8 ghc-8.6) (define-public ghc ghc-8) ;;; haskell.scm ends here