summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrián Arroyo Calle2024-03-17 11:24:08 +0100
committerAdrián Arroyo Calle2024-03-17 11:24:08 +0100
commitd876f915d60dae0e0686061060d089926c08c891 (patch)
tree58db078bd8c79b8a2b5a1b25e4947cb5561cd4eb
parent7dd417be1fa2c753292e30f5398a97d078782322 (diff)
downloadaur-d876f915d60dae0e0686061060d089926c08c891.tar.gz
Ciao Prolog 1.23.0-m1
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD11
2 files changed, 9 insertions, 8 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 74135041c2d4..f49ab4e2c213 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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.m7
+ pkgver = 1.23.0.m1
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-m7.tar.gz
- sha256sums = b5f75753a558dd9505888862ea831200b16fbe530741d5f1ffd62452d4eec5e2
+ source = https://github.com/ciao-lang/ciao/archive/v1.23.0-m1.tar.gz
+ sha256sums = ba6318c2d6e994c4dd5e02f4a60b026d7cdd7be8bd472fa0b8665fa439e52d3b
pkgname = ciao-lang
diff --git a/PKGBUILD b/PKGBUILD
index 08216db57400..35d80f15d3b7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,8 @@
# Maintainer: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
pkgname=ciao-lang
-pkgver=1.22.0.m7
+pkgver=1.23.0.m1
+_pkgver=1.23.0-m1
pkgrel=1
pkgdesc="Ciao is a general purpose, multi-paradigm programming language in the Prolog family"
arch=('i686' 'x86_64')
@@ -9,17 +10,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-m7.tar.gz)
-sha256sums=('b5f75753a558dd9505888862ea831200b16fbe530741d5f1ffd62452d4eec5e2')
+source=(https://github.com/ciao-lang/ciao/archive/v${_pkgver}.tar.gz)
+sha256sums=('ba6318c2d6e994c4dd5e02f4a60b026d7cdd7be8bd472fa0b8665fa439e52d3b')
build() {
- cd "$srcdir/ciao-1.22.0-m7"
+ cd "$srcdir/ciao-$_pkgver"
./ciao-boot.sh configure --prefix="$pkgdir/usr" --instype=global
./ciao-boot.sh build
}
package() {
- cd "$srcdir/ciao-1.22.0-m7"
+ cd "$srcdir/ciao-$_pkgver"
./ciao-boot.sh install
}