From 5d978183feb979d5016ee2d48a9a9672f0845541 Mon Sep 17 00:00:00 2001
From: Tsung-Ju Chiang <71379180+tsung-ju@users.noreply.github.com>
Date: Wed, 16 Dec 2020 04:08:34 +0800
Subject: [PATCH] New package: Agda-2.6.1.2

---
 srcpkgs/Agda/files/agda      |  3 +++
 srcpkgs/Agda/files/agda-mode |  3 +++
 srcpkgs/Agda/template        | 43 ++++++++++++++++++++++++++++++++++++
 3 files changed, 49 insertions(+)
 create mode 100644 srcpkgs/Agda/files/agda
 create mode 100644 srcpkgs/Agda/files/agda-mode
 create mode 100644 srcpkgs/Agda/template

diff --git a/srcpkgs/Agda/files/agda b/srcpkgs/Agda/files/agda
new file mode 100644
index 00000000000..e4fa7241b67
--- /dev/null
+++ b/srcpkgs/Agda/files/agda
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+Agda_datadir=${Agda_datadir-/usr/share/Agda} exec /usr/libexec/agda "$@"
diff --git a/srcpkgs/Agda/files/agda-mode b/srcpkgs/Agda/files/agda-mode
new file mode 100644
index 00000000000..4dd76b8b48a
--- /dev/null
+++ b/srcpkgs/Agda/files/agda-mode
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+Agda_datadir=${Agda_datadir-/usr/share/Agda} exec /usr/libexec/agda-mode "$@"
diff --git a/srcpkgs/Agda/template b/srcpkgs/Agda/template
new file mode 100644
index 00000000000..995647969ab
--- /dev/null
+++ b/srcpkgs/Agda/template
@@ -0,0 +1,43 @@
+# Template file for 'Agda'
+pkgname=Agda
+version=2.6.1.2
+revision=1
+build_style=haskell-stack
+make_build_args="--flag Agda:enable-cluster-counting"
+makedepends="icu-devel zlib-devel ncurses-devel"
+short_desc="Dependently typed functional programming language and proof assistant"
+maintainer="Tsung-Ju Chiang <tsungju+void@pm.me>"
+license="custom:Agda"
+homepage="https://wiki.portal.chalmers.se/agda"
+distfiles="http://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=08703073c4a5bce89ea64931ac891245dc42dea44b59bed837614811a213072d
+nopie_files="/usr/libexec/agda /usr/libexec/agda-mode"
+nocross=yes
+
+do_patch() {
+	cp stack-8.8.4.yaml stack.yaml
+
+	# Make the output directory more predictable
+	cat >>stack.yaml <<-EOF
+	configure-options:
+	  Agda:
+	  - --datasubdir=Agda
+	EOF
+}
+
+do_install() {
+	local _stack_args="--system-ghc --skip-ghc-check"
+	local _local_install_root=$(STACK_ROOT="$wrksrc/.stack" stack ${_stack_args} path --local-install-root)
+
+	vbin ${FILESDIR}/agda
+	vbin ${FILESDIR}/agda-mode
+
+	vmkdir usr/libexec
+	STACK_ROOT="$wrksrc/.stack" stack ${_stack_args} install \
+	       	${make_build_args} --local-bin-path=${DESTDIR}/usr/libexec
+
+	vmkdir usr/share/Agda
+	vcopy "$_local_install_root/share/Agda/*" usr/share/Agda
+
+	vlicense LICENSE
+}