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

[Levente Polyak]

    Date: Monday, October 1, 2018 @ 19:22:58
  Author: anthraxx
Revision: 388918

upgpkg: z3 4.7.1-3 (reproducible builds fix)

Modified:
  z3/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-10-01 18:52:05 UTC (rev 388917)
+++ PKGBUILD	2018-10-01 19:22:58 UTC (rev 388918)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
 pkgver=4.7.1
-pkgrel=2
+pkgrel=3
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -61,6 +61,7 @@
   cd "${pkgdir}"
   rm -r usr/include usr/bin usr/lib/cmake usr/lib/lib*
   mv usr/lib/python* usr/lib/python2.7
+  [ -n "${SOURCE_DATE_EPOCH}" ] && find . -exec touch -h -d @$SOURCE_DATE_EPOCH {} +
   python2 -m compileall .
   python2 -O -m compileall .
 }