diff options
| author | Adrián Arroyo Calle | 2021-07-09 16:17:24 +0200 |
|---|---|---|
| committer | Adrián Arroyo Calle | 2021-07-09 16:17:24 +0200 |
| commit | 3c7193443d86dea0d389aa970b27950c12d7d862 (patch) | |
| tree | 2fc33e2d3731905b7a62da725ce3155fe55f5e3c | |
| download | aur-3c7193443d86dea0d389aa970b27950c12d7d862.tar.gz | |
First release of Ciao Prolog in AUR
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 25 |
2 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8a916110ef6e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = ciao-lang + pkgdesc = Ciao is a general purpose, multi-paradigm programming language in the Prolog family + pkgver = 1.20.0 + pkgrel = 1 + url = https://github.com/ciao-lang/ciao + arch = i686 + arch = x86_64 + license = LGPL-2.1 + makedepends = gcc + makedepends = make + makedepends = which + makedepends = rlwrap + depends = rlwrap + source = https://github.com/ciao-lang/ciao/archive/v1.20.0.tar.gz + sha256sums = 7b2f4e5824ab7cd02e9889faa797d78ee40b92468df900a0d15c3044e032e908 + +pkgname = ciao-lang diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..32790d9fce48 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,25 @@ +# Maintainer: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com> + +pkgname=ciao-lang +pkgver=1.20.0 +pkgrel=1 +pkgdesc="Ciao is a general purpose, multi-paradigm programming language in the Prolog family" +arch=('i686' 'x86_64') +url="https://github.com/ciao-lang/ciao" +license=('LGPL-2.1') +depends=('rlwrap') +makedepends=('gcc' 'make' 'which' 'rlwrap') +source=(https://github.com/ciao-lang/ciao/archive/v${pkgver}.tar.gz) +sha256sums=('7b2f4e5824ab7cd02e9889faa797d78ee40b92468df900a0d15c3044e032e908') + +build() { + cd "$srcdir/ciao-$pkgver" + + ./ciao-boot.sh configure --prefix="$pkgdir/usr" --instype=global + ./ciao-boot.sh build +} + +package() { + cd "$srcdir/ciao-$pkgver" + ./ciao-boot.sh install +}
\ No newline at end of file |