diff options
| author | Paulo Matias | 2021-11-06 21:12:08 -0300 |
|---|---|---|
| committer | Paulo Matias | 2021-11-06 21:12:08 -0300 |
| commit | dd6393ce1cc4f0142bdcba93803a31154507eb11 (patch) | |
| tree | 0b8ce317bc0e04db9edcdea4333799c96970a2e5 /PKGBUILD | |
| parent | ed75ee2e65e71b99f8cbbf605e3fdbade49fb9ea (diff) | |
| download | aur-dd6393ce1cc4f0142bdcba93803a31154507eb11.tar.gz | |
add workaround for bug #430
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -2,7 +2,7 @@ # Maintainer: Paulo Matias <matias@ufscar.br> pkgname=bluespec-git -pkgver=r394.8d454e4 +pkgver=r641.e330e11e pkgrel=1 pkgdesc='Bluespec Compiler (BSC)' arch=('x86_64') @@ -26,6 +26,9 @@ pkgver() { prepare() { cd "$srcdir/bsc" git submodule update --init --recursive + + # workaround until PR #430 is merged + sed -ri 's/^TCL_ALT_SUFFIX=.*/TCL_ALT_SUFFIX=/' platform.sh } build(){ |