diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
| commit | 93a93e9a3b53c1a73142a305ea1f8136846942ee (patch) | |
| tree | b9791a06ab3284e27b568412c59316c66240c682 /dev-scheme/chez-minikanren | |
| parent | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (diff) | |
gentoo resync : 22.12.2021
Diffstat (limited to 'dev-scheme/chez-minikanren')
| -rw-r--r-- | dev-scheme/chez-minikanren/Manifest | 3 | ||||
| -rw-r--r-- | dev-scheme/chez-minikanren/chez-minikanren-2018.04.11.ebuild | 44 | ||||
| -rw-r--r-- | dev-scheme/chez-minikanren/metadata.xml | 21 |
3 files changed, 68 insertions, 0 deletions
diff --git a/dev-scheme/chez-minikanren/Manifest b/dev-scheme/chez-minikanren/Manifest new file mode 100644 index 000000000000..07347e5c5ae2 --- /dev/null +++ b/dev-scheme/chez-minikanren/Manifest @@ -0,0 +1,3 @@ +DIST chez-minikanren-2018.04.11.tar.gz 14068 BLAKE2B b3d8ca2499b37f085e34e59bfa47c7d2dc7869025b46c0ccee271556b4b3ed89e37a29374e3e78452041e88377ede7d751b81da0959e590d9b7be0adb72efc94 SHA512 39928df2548353917cfaaad37454ceb94db4c87ebbf8a1bd8e7ce3e32ed07a6660e9cc1aeb446e3b7abbc533e8cf24da1f3a2ce3c2efe9cc8c8ed1bd90b88278 +EBUILD chez-minikanren-2018.04.11.ebuild 1101 BLAKE2B 7453b261da0a11163e3a7a5fd5e7ad03b63cb898f35ac5da9230b70eeaaf7d7421e8842f4178b5580b36ccd9f8c5daa6ede73ebde72ee9bc08332bd84d30109a SHA512 3c3436f6d8fc5c6502221487ec8d622f1f51472d8dbc8ba62c998af04c6fbd9c73a1ce5a3f424dac80093291abbf272eae40a2a9f8cb9dd02ded9ae5f8feca1c +MISC metadata.xml 850 BLAKE2B e2f9501b9b30f76f3f79db5f4cbc3776fc2cd5a274dcf398a462a28533e876ea83078cad593a25af8dd9d4ee195085b374eb8697a38bf342fe38c3dd7f0d6672 SHA512 26c8c73f9185272cf2a253416405d8236a86085634f4210bb451717f45e740e0670650d54464f6f3be6600dde09894f17a6fcc8f8725d91f2979d158089ad678 diff --git a/dev-scheme/chez-minikanren/chez-minikanren-2018.04.11.ebuild b/dev-scheme/chez-minikanren/chez-minikanren-2018.04.11.ebuild new file mode 100644 index 000000000000..578cae7255d9 --- /dev/null +++ b/dev-scheme/chez-minikanren/chez-minikanren-2018.04.11.ebuild @@ -0,0 +1,44 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +# NOTICE: miniKanren does not define a library interface :( +# so we will make a wrapper to load miniKanren... + +EAPI=8 + +COMMIT=2d50ec5002fe052f5c2f2d72530dcbeb8760fde8 +MY_PN=miniKanren + +inherit wrapper + +DESCRIPTION="Canonical miniKanren implementation (on Chez Scheme)" +HOMEPAGE="https://github.com/miniKanren/miniKanren" +SRC_URI="https://github.com/miniKanren/${MY_PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${MY_PN}-${COMMIT}" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64" +IUSE="source" +RESTRICT="strip" + +RDEPEND="dev-scheme/chez:=" +DEPEND="${RDEPEND}" + +MINIKANREN_HOME=/usr/lib/chezscheme/${MY_PN} + +src_compile() { + local s=( $( find . -name "*.scm" -exec printf "\"%s\" " {} + ) ) + local c="(import (chezscheme)) (for-each compile-library (list ${s[@]}))" + echo "${c}" | chezscheme --quiet --optimize-level 3 || die +} + +src_install() { + insinto ${MINIKANREN_HOME} + doins *.so + use source && doins *.scm + + make_wrapper ${MY_PN} "chezscheme mk.so" ${MINIKANREN_HOME} + + einstalldocs +} diff --git a/dev-scheme/chez-minikanren/metadata.xml b/dev-scheme/chez-minikanren/metadata.xml new file mode 100644 index 000000000000..eafae6b7cb51 --- /dev/null +++ b/dev-scheme/chez-minikanren/metadata.xml @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>scheme@gentoo.org</email> + <name>Gentoo Scheme Project</name> + </maintainer> + <longdescription> + miniKanren is an embedded Domain Specific Language for logic programming. + The core miniKanren language is very simple, with only three logical + operators and one interface operator. + miniKanren is designed to be easily modified and extended; extensions + include Constraint Logic Programming, probabilistic logic programming, + nominal logic programming, and tabling. + </longdescription> + <upstream> + <bugs-to>https://github.com/miniKanren/miniKanren/issues</bugs-to> + <remote-id type="github">miniKanren/miniKanren</remote-id> + </upstream> +</pkgmetadata> |