Date: Wednesday, September 22, 2021 @ 15:02:41 Author: felixonmars Revision: 1021602
upgpkg: cryptol 2.11.0-73: rebuild with random 1.2.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-09-22 14:58:46 UTC (rev 1021601) +++ PKGBUILD 2021-09-22 15:02:41 UTC (rev 1021602) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.11.0 -pkgrel=72 +pkgrel=73 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -31,7 +31,7 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ - --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm \ -f-static -f-relocatable --ghc-option='-pie' runhaskell Setup build $MAKEFLAGS runhaskell Setup register --gen-script
