summaryrefslogtreecommitdiff
path: root/manualPorts/guile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-10-03 11:29:50 +0200
committerErich Eckner <git@eckner.net>2022-10-03 11:29:50 +0200
commit532e298a9fcfb5df7ed6b3cbcfdc0339c1226ebe (patch)
tree160f0a48e4ce1cd9fa1d1d963b8a2976697ddb6d /manualPorts/guile
parent83ad8989eba8b6a4d08e52f8e996fc7fde6e7948 (diff)
downloadcrux-ports-532e298a9fcfb5df7ed6b3cbcfdc0339c1226ebe.tar.xz
guile: clean up Pkgfile
Diffstat (limited to 'manualPorts/guile')
-rw-r--r--manualPorts/guile/.signature4
-rw-r--r--manualPorts/guile/Pkgfile2
2 files changed, 3 insertions, 3 deletions
diff --git a/manualPorts/guile/.signature b/manualPorts/guile/.signature
index ad7a5f9..bb6f3fc 100644
--- a/manualPorts/guile/.signature
+++ b/manualPorts/guile/.signature
@@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGr9c/CFGMsjwM+H3l3AUIVhfbUx5Uqlmg0e9Sq2kPcCNN8xmhW3d/ol0PNh8e0gLfE/TbYQBI7HICl38wPcJ8wY=
-SHA256 (Pkgfile) = ca2939beaa0091bcbe9bada4c25ce8f45a6773337d1f8513326cc3c6bb6f2699
+RWQxCptPusLGGvGjaUt6mQO9pig+yk8b86wVG7nuuAE/xg29ipmzWSAnQAWp63vmF3hSf2809t4KoVf6GLLQlGcBa06Tu5AwEgo=
+SHA256 (Pkgfile) = 159b33807d7f7cdddb138555b386743d52daf0fd1ed59f435abb5cce6d4aee54
SHA256 (.footprint) = f6eb6e065b329441264e957a48749cd84fd1bbbe96b266a6f9386a5163e9aa1d
SHA256 (guile-2.2.7.tar.gz) = 44b4c5fbbe257ccdebea18420212c9b3e90c3c86a54920d8554039fc6769a007
diff --git a/manualPorts/guile/Pkgfile b/manualPorts/guile/Pkgfile
index 420f337..7133308 100644
--- a/manualPorts/guile/Pkgfile
+++ b/manualPorts/guile/Pkgfile
@@ -18,5 +18,5 @@ build() {
sed -i -e 's/-Werror//g' libtool
make
make DESTDIR=$PKG install
- rm -rf $PKG/usr/share/info $PKG/usr/share/guile/1.8/scripts/summarize-guile-TODO
+ rm -rf $PKG/usr/share/info
}