Commit | Line | Data |
---|---|---|
9c63fe6c NK |
1 | ;;; GNU Guix --- Functional package management for GNU |
2 | ;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org> | |
6ed80bed | 3 | ;;; Copyright © 2013 Mark H Weaver <mhw@netris.org> |
9c63fe6c NK |
4 | ;;; |
5 | ;;; This file is part of GNU Guix. | |
6 | ;;; | |
7 | ;;; GNU Guix is free software; you can redistribute it and/or modify it | |
8 | ;;; under the terms of the GNU General Public License as published by | |
9 | ;;; the Free Software Foundation; either version 3 of the License, or (at | |
10 | ;;; your option) any later version. | |
11 | ;;; | |
12 | ;;; GNU Guix is distributed in the hope that it will be useful, but | |
13 | ;;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | ;;; GNU General Public License for more details. | |
16 | ;;; | |
17 | ;;; You should have received a copy of the GNU General Public License | |
18 | ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. | |
19 | ||
20 | (define-module (gnu packages gprolog) | |
751b7aad | 21 | #:use-module (guix download) |
9c63fe6c NK |
22 | #:use-module (guix licenses) |
23 | #:use-module (guix packages) | |
751b7aad EF |
24 | #:use-module (guix build-system gnu) |
25 | #:use-module (srfi srfi-1)) | |
9c63fe6c NK |
26 | |
27 | (define-public gprolog | |
28 | (package | |
29 | (name "gprolog") | |
eaff9364 | 30 | (version "1.4.4") |
9c63fe6c NK |
31 | (source |
32 | (origin | |
33 | (method url-fetch) | |
6ed80bed MW |
34 | (uri (string-append "mirror://gnu/gprolog/gprolog-" version |
35 | ".tar.gz")) | |
9c63fe6c NK |
36 | (sha256 |
37 | (base32 | |
eaff9364 | 38 | "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q")))) |
9c63fe6c NK |
39 | (build-system gnu-build-system) |
40 | (arguments | |
1a6d3cd3 SB |
41 | `(#:configure-flags |
42 | (list (string-append | |
43 | "--with-install-dir=" %output "/share/gprolog")) | |
44 | #:phases (alist-cons-before | |
9c63fe6c NK |
45 | 'configure 'change-dir-n-fix-shells |
46 | (lambda _ | |
47 | (chdir "src") | |
48 | (substitute* "configure" | |
49 | (("-/bin/sh") (string-append "-" (which "sh"))) | |
50 | (("= /bin/sh") (string-append "= " (which "sh"))))) | |
51 | %standard-phases))) | |
52 | (home-page "https://www.gnu.org/software/gprolog/") | |
f50d2669 | 53 | (synopsis "Prolog compiler") |
9c63fe6c | 54 | (description |
a22dc0c4 LC |
55 | "GNU Prolog is a standards-compliant Prolog compiler with constraint |
56 | solving over finite domains. It accepts Prolog+ constraint programs and | |
79c311b8 | 57 | produces a compiled, native binary which can function in a stand-alone |
a22dc0c4 | 58 | manner. It also features an interactive interpreter.") |
f47638a3 LC |
59 | (license (list gpl2+ lgpl3+)) |
60 | ||
61 | ;; See 'configure' for the list of supported architectures. | |
751b7aad EF |
62 | (supported-systems (fold delete |
63 | %supported-systems | |
64 | '("armhf-linux" "mips64el-linux"))))) |