diff options
| author | Paulo Matias | 2021-11-08 11:17:06 -0300 |
|---|---|---|
| committer | Paulo Matias | 2021-11-08 11:17:06 -0300 |
| commit | 66209bb697e7fedaa8998e472ec7dddc60a31d26 (patch) | |
| tree | 6c1d3625c01b82a5bc76361b7cd373e7131457f3 | |
| parent | 353a2fe073a899f5b742190f1c6ed60a9436af8d (diff) | |
| download | aur-66209bb697e7fedaa8998e472ec7dddc60a31d26.tar.gz | |
follow submodule guidelines
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 12 |
2 files changed, 11 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = bluespec-git pkgdesc = Bluespec Compiler (BSC) - pkgver = r641.e330e11e + pkgver = r644.91ad4276 pkgrel = 264 url = https://github.com/B-Lang-org/bsc arch = x86_64 @@ -17,6 +17,8 @@ pkgbase = bluespec-git depends = haskell-split optdepends = tcl: bluesim and bluetcl source = git+https://github.com/b-lang-org/bsc.git + source = git+https://github.com/SRI-CSL/yices2.git + sha256sums = SKIP sha256sums = SKIP pkgname = bluespec-git @@ -2,7 +2,7 @@ # Maintainer: Paulo Matias <matias@ufscar.br> pkgname=bluespec-git -pkgver=r641.e330e11e +pkgver=r644.91ad4276 pkgrel=1 pkgdesc='Bluespec Compiler (BSC)' arch=('x86_64') @@ -14,8 +14,10 @@ optdepends=('tcl: bluesim and bluetcl') # workaround for pkgrel overwritten on regen (by TkG) # rebuild whenever some haskell depend is rebuilt eval pkgrel=$(pacman -Si ${depends[@]} | awk '/Version/{sum+=substr($0,match($0,/[^-]+$/))}END{print sum}') -source=("git+https://github.com/b-lang-org/bsc.git") -sha256sums=('SKIP') +source=("git+https://github.com/b-lang-org/bsc.git" + "git+https://github.com/SRI-CSL/yices2.git") +sha256sums=('SKIP' + 'SKIP') _prefix="/opt/bluespec" pkgver() { @@ -25,7 +27,9 @@ pkgver() { prepare() { cd "$srcdir/bsc" - git submodule update --init --recursive + git submodule init + git config submodule.src/vendor/yices/v2.6/yices2.url "$srcdir/yices2" + git submodule update } build(){ |