# -rw-r--r-- 2.3 KiB View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
(define-public swi-prolog
  (package
    (name "swi-prolog")
    (version "8.1.19")
    (source (origin
              (method git-fetch)
              (uri (git-reference
                    (url "https://github.com/SWI-Prolog/swipl-devel.git")
                    (recursive? #t) ; TODO: Determine if this can be split out.
                    (commit (string-append "V" version))))
              (file-name (git-file-name name version))
              (sha256
               (base32
                "0p1psf1lrkm9vdz5fggyfnr7hwyf6rvf80gygbw47hhfx46li8jh"))))
    (build-system cmake-build-system)
    (arguments
     `(#:parallel-build? #t
       #:tests? #t
       #:configure-flags
       (list "-DINSTALL_DOCUMENTATION=ON"
             "-DBUILD_PDF_DOCUMENTATION=ON"
             "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation.
       #:phases
       (modify-phases %standard-phases
         ;; XXX: Delete a variety of tests which fail either attempting to
         ;; establish a network connection, or attempts to write to the
         ;; immutable store. These tests can only be deleted /AFTER/ the
         ;; build phase succeeds.
         (add-before 'check 'delete-failing-tests
           (lambda _
             (with-directory-excursion "packages"
               (for-each delete-file-recursively
                         '("http"
                           "pengines"
                           "RDF"
                           "semweb"
                           "ssl")))
             (with-directory-excursion "src/Tests"
               (for-each delete-file-recursively
                         '("save")))
             #t)))))
    (native-inputs
     `(("zlib" ,zlib)
       ("gmp" ,gmp)
       ("readline" ,readline)
       ("texinfo" ,texinfo)
       ("libarchive" ,libarchive)
       ("libunwind" ,libunwind)
       ("libjpeg", libjpeg)
       ("libxft" ,libxft)
       ("fontconfig" ,fontconfig)
       ("perl" ,perl)
       ("pkg-config" ,pkg-config)
       ("openssl" ,openssl)))
    (home-page "https://www.swi-prolog.org/")
    (synopsis "ISO/Edinburgh-style Prolog interpreter")
    (description "SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog
compiler with a rich set of built-in predicates.  It offers a fast, robust and
small environment which enables substantial applications to be developed with
it.")
    (license license:bsd-2)))