diff options
| author | Alex J. Malozemoff | 2018-11-14 09:46:52 -0800 |
|---|---|---|
| committer | Alex J. Malozemoff | 2018-11-14 09:46:52 -0800 |
| commit | 4f70b9ec6076d210b726a322b6b93d954cecf057 (patch) | |
| tree | eae1af721751f8050c3968d687939026b6ddfd29 | |
| parent | ff1552c64b294cc4968d2e0e30f8304968453701 (diff) | |
| download | aur-4f70b9ec6076d210b726a322b6b93d954cecf057.tar.gz | |
use build.sh script
| -rw-r--r-- | .SRCINFO | 7 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 21 |
3 files changed, 17 insertions, 15 deletions
@@ -1,13 +1,12 @@ -# Generated by mksrcinfo v8 -# Fri Jun 1 16:33:27 UTC 2018 pkgbase = saw-script-git pkgdesc = The SAW scripting language. - pkgver = c3211c47 + pkgver = ef1f6549 pkgrel = 1 url = http://saw.galois.com/ arch = x86_64 license = noncommercial - makedepends = cabal-install + makedepends = stack + makedepends = perl depends = ncurses depends = z3 provides = saw-script diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..a3042d1e1ebc --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.tar.xz +saw-script/ +pkg/ +src/
\ No newline at end of file @@ -2,7 +2,7 @@ pkgname=saw-script-git _pkgname=saw-script -pkgver=c3211c47 +pkgver=ef1f6549 pkgver() { cd "$_pkgname" git describe --long --tags --always | sed -r 's/([^-]*-g)/r\1/;s/-/./g' @@ -14,7 +14,7 @@ url="http://saw.galois.com/" arch=('x86_64') license=('noncommercial') depends=('ncurses' 'z3') -makedepends=('cabal-install') +makedepends=('stack' 'perl') optdepends=() conflicts=() replaces=() @@ -26,16 +26,15 @@ md5sums=('SKIP') source=('git://github.com/GaloisInc/saw-script.git') build() { - cd $srcdir/${_pkgname} - cabal update - git submodule update --init - cabal new-build + cd "$srcdir/${_pkgname}" + ln -sf stack.ghc-8.4.yaml stack.yaml + ./build.sh } package() { - mkdir -p $pkgdir/usr/share/licenses/$_pkgname - mkdir -p $pkgdir/usr/bin - cd $srcdir/$_pkgname - cp LICENSE $pkgdir/usr/share/licenses/$_pkgname - find dist-newstyle -name "saw" -type f -exec ls -latR {} + | head -n1 | perl -ne 'print ((split)[8])' | xargs -I{} cp {} $pkgdir/usr/bin + cd "$srcdir/$_pkgname" + mkdir -p $pkgdir/usr/bin + mkdir -p $pkgdir/usr/share/licenses/$_pkgname + cp bin/saw $pkgdir/usr/bin + cp LICENSE $pkgdir/usr/share/licenses/$_pkgname } |