diff options
author | berberman | 2020-06-21 13:11:04 +0800 |
---|---|---|
committer | berberman | 2020-06-21 13:11:04 +0800 |
commit | 9c215d6d277f091fefcc26b5c888b3c9d7dbcd6c (patch) | |
tree | d3dfb096647d2a6e7cd8bb1862a9fc7b16629af4 | |
download | aur-9c215d6d277f091fefcc26b5c888b3c9d7dbcd6c.tar.gz |
1.3.4.0
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | .gitignore | 5 | ||||
-rw-r--r-- | PKGBUILD | 24 |
3 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..dde30479762c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = dhall-to-cabal + pkgdesc = Compile Dhall expressions to Cabal files + pkgver = 1.3.4.0 + pkgrel = 1 + url = https://github.com/dhall-lang/dhall-to-cabal + arch = x86_64 + license = MIT + makedepends = stack + depends = gmp + depends = zlib + source = dhall-to-cabal-1.3.4.0.tar.gz::https://github.com/dhall-lang/dhall-to-cabal/archive/1.3.4.0.tar.gz + sha256sums = 84692e4202a0908fb667021116a1c2a3b786e6cb5e2d82d5460040eb4ef4b380 + +pkgname = dhall-to-cabal + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..0b303dda0a87 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.tar.gz +*.tar.xz +ghcide-*/ +pkg/ +src/ diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..1a36e168750e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,24 @@ +# Maintainer: berberman <hatsue@typed.icu> + +pkgname=dhall-to-cabal +pkgver=1.3.4.0 +pkgrel=1 +pkgdesc="Compile Dhall expressions to Cabal files" +arch=('x86_64') +url="https://github.com/dhall-lang/${pkgname}" +license=('MIT') +makedepends=('stack') +depends=('gmp' 'zlib') +source=("${pkgname}-${pkgver}.tar.gz::${url}/archive/${pkgver}.tar.gz") +sha256sums=('84692e4202a0908fb667021116a1c2a3b786e6cb5e2d82d5460040eb4ef4b380') + +build() { + cd "${pkgname}-${pkgver}" + stack build +} + +package() { + cd "${pkgname}-${pkgver}" + stack --local-bin-path "${pkgdir}/usr/bin/" install + install -D -m 644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} |