summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRodrigo Gryzinski2019-07-07 14:21:35 -0300
committerRodrigo Gryzinski2019-07-07 14:22:50 -0300
commite713aca87cbee737648acaf293cc65f13b9efc27 (patch)
tree2a7abd6b4a89620d4fe624b0dbf2767d8d9e4383
downloadaur-e713aca87cbee737648acaf293cc65f13b9efc27.tar.gz
Initial commit
-rw-r--r--.SRCINFO14
-rw-r--r--.gitignore5
-rw-r--r--PKGBUILD21
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"
+}