[arch-commits] Commit in solidity/trunk (PKGBUILD)

[Kpcyrd]

    Date: Wednesday, August 17, 2022 @ 09:09:45
  Author: kpcyrd
Revision: 1266691

upgpkg: solidity 0.8.16-1

Modified:
  solidity/trunk/PKGBUILD

----------+
 PKGBUILD |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-08-17 01:31:39 UTC (rev 1266690)
+++ PKGBUILD	2022-08-17 09:09:45 UTC (rev 1266691)
@@ -1,8 +1,8 @@
 # Maintainer: Nicola Squartini <tensor5 at gmail.com>
 
 pkgname=solidity
-pkgver=0.8.15
-_commit=e14f27147bd4ffc63e2bf46a68e0d271fad0ed79
+pkgver=0.8.16
+_commit=07a7930e73f57ce6ed1c6f0b8dd9aad99e5c3692
 pkgrel=1
 pkgdesc='Contract-Oriented Programming Language'
 arch=('x86_64')
@@ -30,6 +30,7 @@
         -DCMAKE_BUILD_TYPE=Release \
         -DCMAKE_INSTALL_PREFIX=/usr \
         -DTESTS=OFF \
+        -DSTRICT_Z3_VERSION=OFF \
         ..
     make
 }