diff options
| author | jgart <jgart@dismail.de> | 2026-02-12 21:31:30 -0500 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2026-02-12 22:25:31 -0500 |
| commit | 8d0cb60763e48b39fef8fdc28388ffb9272cdfcb (patch) | |
| tree | ec19aaeaf710f8c3f7fa36f8de8f65cd2eed2711 /gnu/packages/prolog.scm | |
| parent | 37e987dc9fbec84a9e18a6279b0ad4e241548ed4 (diff) | |
gnu: Add scryer-prolog.
* gnu/packages/prolog.scm (scryer-prolog): New variable.
Co-authored-by: Mark Walker <mark.damon.walker@gmail.com>
Co-authored-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I4ffc9a7ebab39ae95d7c38b380737091d21afe53
Diffstat (limited to 'gnu/packages/prolog.scm')
| -rw-r--r-- | gnu/packages/prolog.scm | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 6f0228facbd..946c3344bb9 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -27,6 +27,7 @@ #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) + #:use-module (guix build-system cargo) #:use-module (guix build-system cmake) #:use-module (guix build-system gnu) #:use-module (guix utils) @@ -94,6 +95,52 @@ manner. It also features an interactive interpreter.") %supported-systems '("armhf-linux" "mips64el-linux"))))) +(define-public scryer-prolog + (package + (name "scryer-prolog") + (version "0.10.0") + (source + (origin + (method url-fetch) + (uri (crate-uri "scryer-prolog" version)) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 "08sn216bcwjx8y62pl3idfjpc1kxw0p0kq5zj3ydpjnnm0gmn03i")))) + (build-system cargo-build-system) + (arguments + (list #:install-source? #f + #:cargo-build-flags ''("--no-default-features") + #:cargo-test-flags + ''("--" + "--skip=issues::issue_delete_directory" + "--skip=issues::issue_delete_file" + "--skip=issues::issue_directory_files" + "--skip=issues::issue_file_copy" + "--skip=issues::issue_file_exists" + "--skip=issues::issue_file_size" + "--skip=issues::issue_file_time" + "--skip=issues::issue_make_directory" + "--skip=issues::issue_make_directory_path" + "--skip=issues::issue_path_canonical" + "--skip=issues::issue_rename_file"))) + (inputs + (cons* libffi + openssl + (cargo-inputs 'scryer-prolog))) + (native-inputs + (cons* pkg-config + (if (%current-target-system) + (list this-package) + '()))) + (home-page "https://github.com/mthom/scryer-prolog") + (synopsis "Modern Prolog implementation written mostly in Rust") + (description + "Scryer Prolog aims to provide an open source industrial strength +production environment that is also a testbed for bleeding edge research in +logic and constraint programming, which is itself written in a high-level +language.") + (license license:bsd-3))) + (define-public swi-prolog (package (name "swi-prolog") |