diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-bin pkgdesc = A Higher-Order Effectful Language Designed for Program Verification pkgver = 2023.09.03 - pkgrel = 1 + pkgrel = 2 url = https://fstar-lang.org/ arch = x86_64 license = Apache @@ -4,7 +4,7 @@ pkgname=fstar-bin pkgver=2023.09.03 _subver= -pkgrel=1 +pkgrel=2 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') @@ -23,7 +23,7 @@ package() { # Instead of symlinking, create a wrapper script # ln -s /opt/fstar/bin/fstar.exe $pkgdir/usr/bin/fstar - echo '#!/bin/bash' > $pkgdir/usr/bin/fstar - echo '/opt/fstar/bin/fstar.exe --smt /opt/fstar/bin/z3 "$@"' >> $pkgdir/usr/bin/fstar + echo '#!/bin/sh' > $pkgdir/usr/bin/fstar + echo 'exec /opt/fstar/bin/fstar.exe --smt /opt/fstar/bin/z3 "$@"' >> $pkgdir/usr/bin/fstar chmod +x $pkgdir/usr/bin/fstar } |