From: tsung-ju <tsung-ju@users.noreply.github.com>
To: ml@inbox.vuxu.org
Subject: [PR PATCH] New package: Agda-2.6.1.2
Date: Tue, 15 Dec 2020 21:23:33 +0100 [thread overview]
Message-ID: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-27187@inbox.vuxu.org> (raw)
[-- 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
+}
next reply other threads:[~2020-12-15 20:23 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-15 20:23 tsung-ju [this message]
2020-12-20 12:49 ` [PR PATCH] [Closed]: " tsung-ju
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-27187@inbox.vuxu.org \
--to=tsung-ju@users.noreply.github.com \
--cc=ml@inbox.vuxu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).