* [PR PATCH] New package: metamath-0.178
@ 2019-10-23 5:57 voidlinux-github
2019-10-23 6:28 ` voidlinux-github
` (4 more replies)
0 siblings, 5 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23 5:57 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 323 bytes --]
There is a new pull request by xelxebar against master on the void-packages repository
https://github.com/xelxebar/void-packages package/metamath
https://github.com/void-linux/void-packages/pull/15721
New package: metamath-0.178
A patch file from https://github.com/void-linux/void-packages/pull/15721.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-15721.patch --]
[-- Type: text/x-diff, Size: 1616 bytes --]
From 2196cfa3d3f0002e64c1135012cba0b968c55042 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Mon, 19 Aug 2019 10:44:33 +0900
Subject: [PATCH] New package: metamath-0.178
---
srcpkgs/metamath/template | 24 ++++++++++++++++++++++++
srcpkgs/metamath/update | 2 ++
2 files changed, 26 insertions(+)
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..f7ac8517876
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,24 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.178
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake"
+short_desc="Mathematical proof checker based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later"
+homepage="http://us.metamath.org/"
+distfiles="http://us.metamath.org/downloads/${pkgname}.tar.bz2
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="ecb95fb6aeca84694081d2e85957a42fb088a9b945c38f8f7b0bca8fd132aa79
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vdoc "${XBPS_SRCDISTDIR}/${pkgname}-${version}/metamath.pdf"
+}
diff --git a/srcpkgs/metamath/update b/srcpkgs/metamath/update
new file mode 100644
index 00000000000..d968c96b084
--- /dev/null
+++ b/srcpkgs/metamath/update
@@ -0,0 +1,2 @@
+site=http://us.metamath.org/index.html
+pattern="<B>metamath program</B> \(version \K[\d.]+"
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: New package: metamath-0.178
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
@ 2019-10-23 6:28 ` voidlinux-github
2019-10-23 6:34 ` voidlinux-github
` (3 subsequent siblings)
4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23 6:28 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 217 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/15721#issuecomment-545289375
Comment:
Oh boy. It looks like upstream's url to the source is getting ninja edited.
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: New package: metamath-0.178
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
2019-10-23 6:28 ` voidlinux-github
@ 2019-10-23 6:34 ` voidlinux-github
2019-10-27 17:40 ` voidlinux-github
` (2 subsequent siblings)
4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-23 6:34 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 498 bytes --]
New comment by xelxebar on void-packages repository
https://github.com/void-linux/void-packages/pull/15721#issuecomment-545289375
Comment:
Oh boy. It looks like upstream's url to the source is getting ninja edited.
The proofs database is packaged together with the verifier, so I assume that upstream is retarring the source with updated databases while the verifier itself remains unchanged. Hence, the public version number and url remain the same, but the actual tar these point to is fluid.
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: New package: metamath-0.178
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
2019-10-23 6:28 ` voidlinux-github
2019-10-23 6:34 ` voidlinux-github
@ 2019-10-27 17:40 ` voidlinux-github
2019-11-07 19:21 ` voidlinux-github
2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-10-27 17:40 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 264 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/pull/15721#issuecomment-546717025
Comment:
Changing tarballs are bad for us, they break rebuilds. Perhaps instead use githashes and assemble the repo yourself?
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: New package: metamath-0.178
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (2 preceding siblings ...)
2019-10-27 17:40 ` voidlinux-github
@ 2019-11-07 19:21 ` voidlinux-github
2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2019-11-07 19:21 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 240 bytes --]
New comment by Piraty on void-packages repository
https://github.com/void-linux/void-packages/pull/15721#issuecomment-551225341
Comment:
in case the exact same contents get repackaged, you could prepend `@` do the checksum, see Manual.md
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PR PATCH] [Closed]: [nomerge] New package: metamath-0.178
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
` (3 preceding siblings ...)
2019-11-07 19:21 ` voidlinux-github
@ 2020-01-27 15:19 ` voidlinux-github
4 siblings, 0 replies; 7+ messages in thread
From: voidlinux-github @ 2020-01-27 15:19 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 171 bytes --]
There's a closed pull request on the void-packages repository
[nomerge] New package: metamath-0.178
https://github.com/void-linux/void-packages/pull/15721
Description:
^ permalink raw reply [flat|nested] 7+ messages in thread
* [PR PATCH] New package: metamath-0.178
@ 2020-01-27 15:20 voidlinux-github
2020-01-27 15:26 ` voidlinux-github
0 siblings, 1 reply; 7+ messages in thread
From: voidlinux-github @ 2020-01-27 15:20 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 323 bytes --]
There is a new pull request by xelxebar against master on the void-packages repository
https://github.com/xelxebar/void-packages package/metamath
https://github.com/void-linux/void-packages/pull/18584
New package: metamath-0.178
A patch file from https://github.com/void-linux/void-packages/pull/18584.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-package/metamath-18584.patch --]
[-- Type: text/x-diff, Size: 4266 bytes --]
From 41dee9150580041d2f3b9d2bc740bbe20272bb73 Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Mon, 19 Aug 2019 10:44:33 +0900
Subject: [PATCH] New package: metamath-0.178
---
srcpkgs/metamath/files/mm.sh | 72 +++++++++++++++++++
.../patches/remove-missing-file-refs.patch | 17 +++++
srcpkgs/metamath/template | 25 +++++++
srcpkgs/metamath/update | 2 +
4 files changed, 116 insertions(+)
create mode 100755 srcpkgs/metamath/files/mm.sh
create mode 100644 srcpkgs/metamath/patches/remove-missing-file-refs.patch
create mode 100644 srcpkgs/metamath/template
create mode 100644 srcpkgs/metamath/update
diff --git a/srcpkgs/metamath/files/mm.sh b/srcpkgs/metamath/files/mm.sh
new file mode 100755
index 00000000000..4cb78a6fdfa
--- /dev/null
+++ b/srcpkgs/metamath/files/mm.sh
@@ -0,0 +1,72 @@
+#!/usr/bin/env sh
+set -o errexit -o nounset -o noclobber
+
+
+show_usage() {
+>&2 cat <<USAGE
+Usage: mm [-hlu] [-d <database>] [-r <rcfile>] [<args>]
+
+OPTIONS
+ -d <database> Load <database>
+ -r <rcfile> Submit <rcfile> commands on startup, defaults to ~/.metamathrc
+ -l List available databases
+ -u Update databases
+ -h Display this help message
+USAGE
+}
+
+error() {
+ errno=${1}
+ msg=${2}
+
+ >&2 echo "${msg}"
+ show_usage
+ exit "${errno}"
+}
+
+mm_update() {
+ url=${1}
+ dir=${2}
+
+ command -v git >/dev/null || return 1
+ [ -d "${dir}" ] || mkdir -p "${dir}"
+
+ if [ -d "${dir}/.git" ]; then
+ git -C "${dir}" pull
+ else
+ git clone "${url}" "${dir}"
+ fi
+}
+
+
+mmdir="${METAMATH_DIR:-/var/lib/metamath}"
+mmurl="${METAMATH_URL:-https://github.com/metamath/set.mm}"
+rc="${rc:-${HOME}/.metamathrc}"
+
+[ -r "${rc}" ] || unset rc
+
+if command -v tput >/dev/null; then
+ width=$(tput cols)
+ height=$(tput lines)
+fi
+
+
+while getopts ':d:r:hlu' opt "${@}"; do
+ case "${opt}" in
+ d) db="${OPTARG}";;
+ r) rc="${OPTARG}";;
+ h) show_usage; exit 0;;
+ l) find "${mmdir}" -name '*.mm' -printf '%P\n'; exit;;
+ u) mm_update "${mmurl}" "${mmdir}"; exit $?;;
+ :) error 1 "Expected argument: -${OPTARG}";;
+ *) error 1 "Unknown argument: -${OPTARG}";;
+ esac
+done
+shift $((OPTIND - 1))
+
+rlwrap --complete-filenames \
+ metamath ${width+"set width ${width}"} \
+ ${height+"set height ${height}"} \
+ ${rc+"submit '${rc}'"} \
+ ${db+"read '${mmdir}/${db}'"} \
+ "${@}"
diff --git a/srcpkgs/metamath/patches/remove-missing-file-refs.patch b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
new file mode 100644
index 00000000000..6f99100cfba
--- /dev/null
+++ b/srcpkgs/metamath/patches/remove-missing-file-refs.patch
@@ -0,0 +1,17 @@
+--- Makefile.am 2020-01-27 20:43:55.650195602 +0900
++++ Makefile.am 2020-01-27 20:44:18.876578014 +0900
+@@ -36,14 +36,6 @@
+ mmwtex.c \
+ $(noinst_HEADERS)
+
+-dist_pkgdata_DATA = \
+- big-unifier.mm \
+- demo0.mm \
+- miu.mm \
+- peano.mm \
+- ql.mm \
+- set.mm
+-
+
+ EXTRA_DIST = \
+ LICENSE.TXT \
diff --git a/srcpkgs/metamath/template b/srcpkgs/metamath/template
new file mode 100644
index 00000000000..637a0013dfd
--- /dev/null
+++ b/srcpkgs/metamath/template
@@ -0,0 +1,25 @@
+# Template file for 'metamath'
+pkgname=metamath
+version=0.178
+revision=1
+wrksrc="${pkgname}"
+build_style=gnu-configure
+hostmakedepends="autoconf automake unzip"
+short_desc="Proof verifier based on a minimalist metalogic"
+maintainer="B. Wilson <x@wilsonb.com>"
+license="GPL-2.0-or-later"
+homepage="http://us.metamath.org/"
+distfiles="http://us.metamath.org/downloads/metamath-program.zip
+ http://us.metamath.org/downloads/metamath.pdf"
+checksum="75fe8e83c4fde2104e24e38da8480b512df3dff40d46e5d40e038bd7a73557de
+ 245ebab16d148a9772f6c3751ba8f34ee15bed6bbb61a464f4c2a2f9c56f8059"
+skip_extraction="metamath.pdf"
+
+pre_configure() {
+ autoreconf -i
+}
+
+post_install() {
+ vbin "${FILESDIR}/mm.sh" mm
+ vdoc "${XBPS_SRCDISTDIR}/${pkgname}-${version}/metamath.pdf"
+}
diff --git a/srcpkgs/metamath/update b/srcpkgs/metamath/update
new file mode 100644
index 00000000000..d968c96b084
--- /dev/null
+++ b/srcpkgs/metamath/update
@@ -0,0 +1,2 @@
+site=http://us.metamath.org/index.html
+pattern="<B>metamath program</B> \(version \K[\d.]+"
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2020-01-27 15:26 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-23 5:57 [PR PATCH] New package: metamath-0.178 voidlinux-github
2019-10-23 6:28 ` voidlinux-github
2019-10-23 6:34 ` voidlinux-github
2019-10-27 17:40 ` voidlinux-github
2019-11-07 19:21 ` voidlinux-github
2020-01-27 15:19 ` [PR PATCH] [Closed]: [nomerge] " voidlinux-github
2020-01-27 15:20 [PR PATCH] " voidlinux-github
2020-01-27 15:26 ` voidlinux-github
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).