summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorTim Aab2019-08-26 22:07:17 +0200
committerTim Aab2019-08-26 22:07:17 +0200
commit320f97c9eaee3449def4e7e4c516fdb012e15254 (patch)
tree9542d15e1add0e8b84508ac9652fd68f88d354e7
downloadaur-320f97c9eaee3449def4e7e4c516fdb012e15254.tar.gz
Initial commit of pLam
-rw-r--r--.SRCINFO15
-rw-r--r--PKGBUILD25
2 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..2e4eda853b05
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = plam
+ pkgdesc = A tool to explore, test and implement various λ-expressions
+ pkgver = 2.0.0
+ pkgrel = 1
+ url = https://github.com/sandrolovnicki/pLam
+ arch = x86_64
+ license = MIT
+ makedepends = stack
+ depends = ncurses
+ depends = gmp
+ source = https://github.com/sandrolovnicki/pLam/archive/v2.0.0.tar.gz
+ sha256sums = cf8f2401f5d29029cc05b51b7bc90df4f897c12bd4dd1d3242172d3792281a2b
+
+pkgname = plam
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..edd233ba68b8
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,25 @@
+# Maintainer: Tim Aab <trazayuya g-mail>
+
+pkgname="plam"
+pkgver=2.0.0
+pkgrel=1
+epoch=
+pkgdesc="A tool to explore, test and implement various λ-expressions"
+arch=('x86_64')
+url="https://github.com/sandrolovnicki/pLam"
+license=('MIT')
+depends=("ncurses" "gmp")
+makedepends=("stack")
+source=("${url}/archive/v$pkgver.tar.gz")
+sha256sums=('cf8f2401f5d29029cc05b51b7bc90df4f897c12bd4dd1d3242172d3792281a2b')
+
+build() {
+ cd "${srcdir}/pLam-${pkgver}"
+ stack build
+}
+
+package() {
+ cd "${srcdir}/pLam-${pkgver}"
+ stack install --local-bin-path "${pkgdir}/usr/bin"
+ install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+}