diff options
author | Adrián Arroyo Calle | 2023-08-09 22:10:57 +0200 |
---|---|---|
committer | Adrián Arroyo Calle | 2023-08-09 22:10:57 +0200 |
commit | 7dd417be1fa2c753292e30f5398a97d078782322 (patch) | |
tree | 78249affd9a6eaa1c22bc0f90686a83f1cf8fc94 | |
parent | 5601886efaefeba555f7066da22b67897b20246b (diff) | |
download | aur-7dd417be1fa2c753292e30f5398a97d078782322.tar.gz |
Ciao Prolog 1.22.0-m7
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 8 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = ciao-lang pkgdesc = Ciao is a general purpose, multi-paradigm programming language in the Prolog family - pkgver = 1.22.0.m1 + pkgver = 1.22.0.m7 pkgrel = 1 url = https://github.com/ciao-lang/ciao arch = i686 @@ -11,7 +11,7 @@ pkgbase = ciao-lang makedepends = which makedepends = rlwrap depends = rlwrap - source = https://github.com/ciao-lang/ciao/archive/v1.22.0-m1.tar.gz - sha256sums = 30e107fe38d10d70967afd389b243a37877ce8847edbb023713d083d253cac9b + source = https://github.com/ciao-lang/ciao/archive/v1.22.0-m7.tar.gz + sha256sums = b5f75753a558dd9505888862ea831200b16fbe530741d5f1ffd62452d4eec5e2 pkgname = ciao-lang @@ -1,7 +1,7 @@ # Maintainer: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com> pkgname=ciao-lang -pkgver=1.22.0.m1 +pkgver=1.22.0.m7 pkgrel=1 pkgdesc="Ciao is a general purpose, multi-paradigm programming language in the Prolog family" arch=('i686' 'x86_64') @@ -9,17 +9,17 @@ 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/v1.22.0-m1.tar.gz) -sha256sums=('30e107fe38d10d70967afd389b243a37877ce8847edbb023713d083d253cac9b') +source=(https://github.com/ciao-lang/ciao/archive/v1.22.0-m7.tar.gz) +sha256sums=('b5f75753a558dd9505888862ea831200b16fbe530741d5f1ffd62452d4eec5e2') build() { - cd "$srcdir/ciao-1.22.0-m1" + cd "$srcdir/ciao-1.22.0-m7" ./ciao-boot.sh configure --prefix="$pkgdir/usr" --instype=global ./ciao-boot.sh build } package() { - cd "$srcdir/ciao-1.22.0-m1" + cd "$srcdir/ciao-1.22.0-m7" ./ciao-boot.sh install } |