v8.3.25-1

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 101e327087a4..459b5810371c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = swi-prolog-devel
 	pkgdesc = Prolog environment (development version)
-	pkgver = 8.3.24
+	pkgver = 8.3.25
 	pkgrel = 1
 	url = https://www.swi-prolog.org/
 	arch = x86_64
@@ -31,8 +31,8 @@ pkgbase = swi-prolog-devel
 	optdepends = java-runtime: for using Prolog from Java
 	provides = swi-prolog
 	conflicts = swi-prolog
-	source = https://www.swi-prolog.org/download/devel/src/swipl-8.3.24.tar.gz
-	sha256sums = 6cd57485097a07a7ab68f88f7c49c824b9593060a8349f09a36c302d4e71908a
+	source = https://www.swi-prolog.org/download/devel/src/swipl-8.3.25.tar.gz
+	sha256sums = 6ab48209b0eefd1a4a250fe39cad0ab3f2468565ab381ee5724253baa160e9fb
 
 pkgname = swi-prolog-devel
 
diff --git a/PKGBUILD b/PKGBUILD
index 010496203591..83a30eb72cca 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@
 # Contributor: Juergen Hoetzel <juergen@archlinux.org>
 
 pkgname=swi-prolog-devel
-pkgver=8.3.24
+pkgver=8.3.25
 pkgrel=1
 pkgdesc='Prolog environment (development version)'
 arch=('x86_64' 'i686')
@@ -27,19 +27,19 @@ source=("https://www.swi-prolog.org/download/devel/src/swipl-$pkgver.tar.gz")
 provides=('swi-prolog')
 conflicts=('swi-prolog')
 
-sha256sums=('6cd57485097a07a7ab68f88f7c49c824b9593060a8349f09a36c302d4e71908a')
+sha256sums=('6ab48209b0eefd1a4a250fe39cad0ab3f2468565ab381ee5724253baa160e9fb')
 
 build() {
   mkdir -p build
   cd build
   cmake ../swipl-$pkgver \
-    -DCMAKE_BUILD_TYPE=Release \
+    -DCMAKE_BUILD_TYPE=PGO \
     -DCMAKE_INSTALL_PREFIX=/usr \
     -DCMAKE_C_FLAGS="$CFLAGS -fPIC -ffile-prefix-map=$PWD= -w" \
     -DLIBEDIT_LIBRARIES=/usr/lib/libedit.so.0 \
     -DLIBEDIT_INCLUDE_DIR=/usr/include \
     -G Ninja
-  ../swipl-$pkgver/scripts/pgo-compile.sh
+  #../swipl-$pkgver/scripts/pgo-compile.sh
   ninja
 }