* [PR PATCH] New package: Agda-2.6.1.2
@ 2020-12-15 20:23 tsung-ju
2020-12-20 12:49 ` [PR PATCH] [Closed]: " tsung-ju
0 siblings, 1 reply; 2+ messages in thread
From: tsung-ju @ 2020-12-15 20:23 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 309 bytes --]
There is a new pull request by tsung-ju against master on the void-packages repository
https://github.com/tsung-ju/void-packages agda
https://github.com/void-linux/void-packages/pull/27187
New package: Agda-2.6.1.2
A patch file from https://github.com/void-linux/void-packages/pull/27187.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-agda-27187.patch --]
[-- Type: text/x-diff, Size: 2593 bytes --]
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
+}
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PR PATCH] [Closed]: New package: Agda-2.6.1.2
2020-12-15 20:23 [PR PATCH] New package: Agda-2.6.1.2 tsung-ju
@ 2020-12-20 12:49 ` tsung-ju
0 siblings, 0 replies; 2+ messages in thread
From: tsung-ju @ 2020-12-20 12:49 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 159 bytes --]
There's a closed pull request on the void-packages repository
New package: Agda-2.6.1.2
https://github.com/void-linux/void-packages/pull/27187
Description:
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-12-20 12:49 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-15 20:23 [PR PATCH] New package: Agda-2.6.1.2 tsung-ju
2020-12-20 12:49 ` [PR PATCH] [Closed]: " tsung-ju
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).