diff options
author | B. Wilson <elaexuotee@wilsonb.com> | 2020-04-23 20:28:49 +0900 |
---|---|---|
committer | Guix Patches Tester <> | 2020-04-24 14:35:13 +0100 |
commit | f99e95ec0636889581d58379335a651a710d8954 (patch) | |
tree | 02ccfdf59d02c3f950fcd95a8f78df3e4bb34889 /gnu/packages/patches/metamath-remove-missing-file-refs.patch | |
parent | a1d369f139b4788fd66ed0129cb43c205248dc56 (diff) | |
download | patches-f99e95ec0636889581d58379335a651a710d8954.tar patches-f99e95ec0636889581d58379335a651a710d8954.tar.gz |
gnu: Add metamathseries-3655
* gnu/packages/maths.scm (metamath): New variable.
* gnu/packages/patches/metamath-remove-missing-file-refs.patch: New file.
Diffstat (limited to 'gnu/packages/patches/metamath-remove-missing-file-refs.patch')
-rw-r--r-- | gnu/packages/patches/metamath-remove-missing-file-refs.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu/packages/patches/metamath-remove-missing-file-refs.patch b/gnu/packages/patches/metamath-remove-missing-file-refs.patch new file mode 100644 index 0000000000..bc4748de98 --- /dev/null +++ b/gnu/packages/patches/metamath-remove-missing-file-refs.patch @@ -0,0 +1,17 @@ +--- metamath.orig/Makefile.am 2020-01-27 20:43:55.650195602 +0900 ++++ metamath/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 \ |