pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
indented using pkglint, patch checksums refreshed
Module Name: pkgsrc-wip
Committed By: mayuresh <mayuresh%acm.org@localhost>
Pushed By: mayuresh
Date: Thu Jul 7 11:49:07 2022 +0530
Changeset: b57ba4ef0a993b7b3e175b6f5b17c3e771391ebf
Modified Files:
ltsmin/Makefile
ltsmin/distinfo
Log Message:
indented using pkglint, patch checksums refreshed
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=b57ba4ef0a993b7b3e175b6f5b17c3e771391ebf
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
ltsmin/Makefile | 16 ++++++++--------
ltsmin/distinfo | 12 ++++++------
2 files changed, 14 insertions(+), 14 deletions(-)
diffs:
diff --git a/ltsmin/Makefile b/ltsmin/Makefile
index ae4da43eaa..96f1c0635f 100644
--- a/ltsmin/Makefile
+++ b/ltsmin/Makefile
@@ -11,15 +11,15 @@ HOMEPAGE= https://ltsmin.utwente.nl/
COMMENT= The LTSmin model checking toolset
LICENSE= modified-bsd
-WRKSRC= ${WRKDIR}/ltsmin-3.0.2
-GNU_CONFIGURE= yes
-USE_LANGUAGES= c c++
-DEPENDS+= flex>=2.6.4:../../devel/flex
-USE_TOOLS+= gmake
-CONFIG_SHELL= bash
+WRKSRC= ${WRKDIR}/ltsmin-3.0.2
+GNU_CONFIGURE= yes
+USE_LANGUAGES= c c++
+DEPENDS+= flex>=2.6.4:../../devel/flex
+USE_TOOLS+= gmake
+CONFIG_SHELL= bash
BUILDLINK_TRANSFORM.NetBSD+= rm:-ldl
-CONFIGURE_ARGS+= PKG_CONFIG=${PREFIX}/bin/pkg-config
-CONFIGURE_ARGS+= --docdir=${PREFIX}/share/doc/${PKGBASE}
+CONFIGURE_ARGS+= PKG_CONFIG=${PREFIX}/bin/pkg-config
+CONFIGURE_ARGS+= --docdir=${PREFIX}/share/doc/${PKGBASE}
post-install:
DESTDIR=${DESTDIR} gmake -C ${WRKSRC}/doc install-man
diff --git a/ltsmin/distinfo b/ltsmin/distinfo
index 23a0e9ef64..6862a7f5fc 100644
--- a/ltsmin/distinfo
+++ b/ltsmin/distinfo
@@ -4,9 +4,9 @@ SHA1 (ltsmin-v3.0.2-source.tgz) = a658aaa6efa4a2c7fd0d48c4e8c406ebb4916c27
RMD160 (ltsmin-v3.0.2-source.tgz) = 2e36b9cf08dd51ae6554cd8e7d5301726fb7202e
SHA512 (ltsmin-v3.0.2-source.tgz) = f05f45384e2d12b82f9f59819c5701ad097819b77394296b3927d39183680fa86d7c94b2d2e8d497444887ed1a29b030e09f1808cb5c714ed8c939f9a6e7944a
Size (ltsmin-v3.0.2-source.tgz) = 3273078 bytes
-SHA1 (patch-configure) = 9bba5789bbfaf598a9fb07cab773a4ac9b1e29fb
-SHA1 (patch-src_hre_hre__pthread.c) = 68787efead7a888b5f66c4cf5081ca8d018dc268
-SHA1 (patch-src_pins-lib_modules_dve-pins.c) = 6469292880e2d1188a211532c08bad0b88c83123
-SHA1 (patch-src_pins-lib_modules_opaal-pins.c) = a8ab211f05f6800983631a594d6d705bae260a15
-SHA1 (patch-src_pins2lts-sym_pins2lts-sym.c) = 42a328f426d7c69d5348ded9c0176491a2d6f575
-SHA1 (patch-src_util-lib_sort__r.h) = a7e27f30d9002d11903342dd7ade0e399c4b90d5
+SHA1 (patch-configure) = bfd054a8e18c00bc21206246e6f979e87bf969ba
+SHA1 (patch-src_hre_hre__pthread.c) = cbfd8d0e319d560f00f6b335840d9282c2e79fee
+SHA1 (patch-src_pins-lib_modules_dve-pins.c) = a34aca98ccb5527a662af6d758a6afceb37b621e
+SHA1 (patch-src_pins-lib_modules_opaal-pins.c) = e4981cde459648976244044db20f9c4bc7e41234
+SHA1 (patch-src_pins2lts-sym_pins2lts-sym.c) = 875661057cec71cf5f6b26f54bdf85ff461ac967
+SHA1 (patch-src_util-lib_sort__r.h) = e59abc81231db993eb9189345e4b0bc3cd2bf0bd
Home |
Main Index |
Thread Index |
Old Index