diff options
author | Rodrigo Gryzinski | 2019-07-07 14:21:35 -0300 |
---|---|---|
committer | Rodrigo Gryzinski | 2019-07-07 14:22:50 -0300 |
commit | e713aca87cbee737648acaf293cc65f13b9efc27 (patch) | |
tree | 2a7abd6b4a89620d4fe624b0dbf2767d8d9e4383 | |
download | aur-e713aca87cbee737648acaf293cc65f13b9efc27.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | .gitignore | 5 | ||||
-rw-r--r-- | PKGBUILD | 21 |
3 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a4214d7b7ee2 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = dhall-bash-bin + pkgdesc = Dhall to bash compiler + pkgver = 1.0.21 + pkgrel = 1 + url = https://github.com/dhall-lang/dhall-haskell + arch = x86_64 + license = BSD + source = https://github.com/dhall-lang/dhall-haskell/releases/download/1.24.0/dhall-bash-1.0.21-x86_64-linux.tar.bz2 + source = https://raw.githubusercontent.com/dhall-lang/dhall-haskell/1.24.0/dhall-bash/LICENSE + sha256sums = 863a035d2e81b9bd165880b80ca35f15a41a7cfc7e7d6ea190936c1f569327d0 + sha256sums = SKIP + +pkgname = dhall-bash-bin + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..1cc6f494ffe1 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +dhall-bash-*.tar.bz2 +dhall-bash-*.tar.xz +LICENSE +pkg +src diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..22bd8b48e7ad --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,21 @@ +# Maintainer: Rodrigo Gryzinski <rogryza@gmail.com> + +pkgname='dhall-bash-bin' +pkgver=1.0.21 +pkgrel=1 +pkgdesc="Dhall to bash compiler" +arch=('x86_64') +url='https://github.com/dhall-lang/dhall-haskell' +license=('BSD') + +_dhall_ver=1.24.0 + +source=("https://github.com/dhall-lang/dhall-haskell/releases/download/$_dhall_ver/dhall-bash-$pkgver-x86_64-linux.tar.bz2" + "https://raw.githubusercontent.com/dhall-lang/dhall-haskell/$_dhall_ver/dhall-bash/LICENSE") +sha256sums=("863a035d2e81b9bd165880b80ca35f15a41a7cfc7e7d6ea190936c1f569327d0" + "SKIP") + +function package { + install -Dt "$pkgdir/usr/bin/" "$srcdir/bin/dhall-to-bash" + install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} |