diff options
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 12 |
2 files changed, 10 insertions, 11 deletions
@@ -1,8 +1,6 @@ -# Generated by mksrcinfo v8 -# Tue May 29 12:43:34 UTC 2018 pkgbase = fstar-bin pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 0.9.6.0 + pkgver = 2023.09.03 pkgrel = 2 url = https://fstar-lang.org/ arch = x86_64 @@ -10,8 +8,7 @@ pkgbase = fstar-bin provides = fstar conflicts = fstar conflicts = fstar-git - source = https://github.com/FStarLang/FStar/releases/download/v0.9.6.0/fstar_0.9.6.0_Linux_x86_64.tar.gz - md5sums = 789116db65f7fde743702ec641f7ccee + source = https://github.com/FStarLang/FStar/releases/download/v2023.09.03/fstar_2023.09.03_Linux_x86_64.tar.gz + sha256sums = dfc06973afecc48f1a7bd4e593215b438095dcf3451a45e33a6190f0c36a50ca pkgname = fstar-bin - @@ -1,7 +1,9 @@ # Maintainer: Mort Yao <soi@mort.ninja> +# Maintainer: Johannes Wellhöfer <johannes.wellhofer@gmail.com> pkgname=fstar-bin -pkgver=0.9.6.0 +pkgver=2023.09.03 +_subver= pkgrel=2 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' @@ -10,8 +12,8 @@ arch=('x86_64') depends=() provides=('fstar') conflicts=('fstar' 'fstar-git') -source=("https://github.com/FStarLang/FStar/releases/download/v${pkgver}/fstar_${pkgver}_Linux_x86_64.tar.gz") -md5sums=('789116db65f7fde743702ec641f7ccee') +source=("https://github.com/FStarLang/FStar/releases/download/v${pkgver}${_subver}/fstar_${pkgver}${_subver}_Linux_x86_64.tar.gz") +sha256sums=('dfc06973afecc48f1a7bd4e593215b438095dcf3451a45e33a6190f0c36a50ca') package() { cd "fstar" @@ -21,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 } |