2021-11-20 13:21:24 UTC

This commit is contained in:
Repository mirror & CI
2021-11-20 13:21:25 +00:00
parent 8eb42cb8ce
commit c68bc85d72
83 changed files with 652 additions and 288 deletions

View File

@@ -0,0 +1,13 @@
DEFINED_PHASES=compile install
DEPEND=dev-scheme/racket
DESCRIPTION=New dialect of Lisp, works well for basic web apps
EAPI=8
HOMEPAGE=http://www.arclanguage.org/
INHERIT=wrapper
KEYWORDS=~amd64
LICENSE=Artistic-2
RDEPEND=dev-scheme/racket
SLOT=0
SRC_URI=http://www.arclanguage.org/arc3.2.tar -> arc-3.2.tar
_eclasses_=wrapper 4251d4c84c25f59094fd557e0063a974
_md5_=1d74ece3d01af8691aeb0ee7fc983bf2

View File

@@ -0,0 +1,11 @@
DEFINED_PHASES=compile install prepare
DESCRIPTION=Tool for building Expert Systems (native version)
EAPI=8
HOMEPAGE=http://www.clipsrules.net/
INHERIT=toolchain-funcs
KEYWORDS=~amd64
LICENSE=public-domain
SLOT=0
SRC_URI=https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_core_source_640.tar.gz -> clips-6.40.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988
_md5_=79ac1c4a1e5f83e4ae7c8992d616fb04

View File

@@ -0,0 +1,14 @@
DEFINED_PHASES=compile install postinst postrm preinst prepare setup
DEPEND=>=virtual/jdk-1.8:* dev-util/desktop-file-utils x11-misc/shared-mime-info >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
DESCRIPTION=Tool for building Expert Systems (Java version)
EAPI=7
HOMEPAGE=http://www.clipsrules.net/
INHERIT=desktop toolchain-funcs xdg java-pkg-2
IUSE=examples elibc_FreeBSD source
KEYWORDS=~amd64
LICENSE=public-domain
RDEPEND=>=virtual/jre-1.8:* >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
SLOT=0
SRC_URI=https://sourceforge.net/projects/clipsrules/files/CLIPS/6.40/clips_jni_640.tar.gz -> clipsjni-6.40.tar.gz
_eclasses_=desktop c0d27bf73aa08ca05b663dbd31fbef28 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31 xdg 6024fbc93167fad782e2032933654857 java-utils-2 8a3af9303fdbeca4510a6ba6e91b1460 java-pkg-2 a3d583b3f640032c3eff643a4191bd03
_md5_=10b4b48a39945b2a8d74d4b266af86b0

View File

@@ -0,0 +1,16 @@
BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez dev-scheme/racket net-libs/nodejs )
DEFINED_PHASES=compile configure install prepare test
DEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
DESCRIPTION=Purely functional programming language with first class types
EAPI=8
HOMEPAGE=https://github.com/idris-lang/Idris2/
INHERIT=toolchain-funcs xdg-utils
IUSE=+chez doc racket test-full
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
REQUIRED_USE=^^ ( chez racket )
SLOT=0
SRC_URI=https://github.com/idris-lang/Idris2/archive/refs/tags/v0.5.1.tar.gz -> idris2-0.5.1.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31
_md5_=41db06983904ee60bc0df86a64347a42

View File

@@ -0,0 +1,16 @@
BDEPEND=doc? ( dev-python/sphinx_rtd_theme ) test-full? ( dev-scheme/chez dev-scheme/racket net-libs/nodejs )
DEFINED_PHASES=compile configure install prepare test
DEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
DESCRIPTION=Purely functional programming language with first class types
EAPI=8
HOMEPAGE=https://github.com/idris-lang/Idris2/
INHERIT=toolchain-funcs xdg-utils
IUSE=+chez doc racket test-full
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=chez? ( dev-scheme/chez ) racket? ( dev-scheme/racket ) dev-libs/gmp
REQUIRED_USE=^^ ( chez racket )
SLOT=0
SRC_URI=https://github.com/idris-lang/Idris2/archive/ba180706d607945d8b419301f4362471d97a306a.tar.gz -> idris2-0.5.1_p20211112.tar.gz
_eclasses_=toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 xdg-utils 4f29a8b760a594a212abe9c2ba957c31
_md5_=8d3e6b9be010bc5bf7d8439e9a1f2d25