ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-11 13:49:23 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add lua-clingo.

Browse source 
* gnu/packages/potassco.scm (make-lua-clingo, lua5.1-clingo)
(lua5.2-clingo): New variables.
This commit is contained in:
Liliana Marie Prikler 2024-01-25 11:24:17 +01:00
parent 689ca1e739
commit f05a4a00fe
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 24 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
gnu/packages/potassco.scm
View file

@ -36,6 +36,7 @@ (define-module (gnu packages potassco)
#:use-module (gnu packages cpp)
#:use-module (gnu packages graphviz)
#:use-module (gnu packages libffi)
#:use-module (gnu packages lua)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
#:use-module (gnu packages python-build)
@ -324,6 +325,29 @@ (define-public emacs-pasp-mode
in particular ones that can be solved by @command{clingo}.")
(license license:gpl3+))))
(define-public (make-lua-clingo name lua)
(package
(inherit clingo)
(name name)
(version (package-version clingo)) ; for #$version in arguments
(arguments
(substitute-keyword-arguments (package-arguments clingo)
((#:configure-flags flags #~'())
#~(cons* "-DCLINGO_BUILD_WITH_LUA=yes"
(string-append "-DLUACLINGO_INSTALL_DIR="
#$output "/lib/lua/"
#$(package-version lua))
"-DCLINGO_USE_LIB=yes"
#$flags))))
(inputs (list clingo lua))
(synopsis "Lua bindings for clingo")
(description "This package provides Lua bindings to the clingo package,
making it so that you can write @acronym{ASPs, Answer Set Programs} through
Lua code.")))
(define-public lua5.1-clingo (make-lua-clingo "lua5.1-clingo" lua-5.1))
(define-public lua5.2-clingo (make-lua-clingo "lua5.2-clingo" lua-5.2))
(define-public python-clingo
(package
(inherit clingo)