On Wed, Apr 19, 2017 at 04:00:43PM +0100, Edd Barrett wrote:
> Hi,
>
> Can I kill math/logic2nf? Anyone using it?
Well, I didn't receive any correspondence on this, so let's go ahead.
Diffs to kill the port and add quirks attached.
OK?
--
Best Regards
Edd Barrett
http://www.theunixzoo.co.uk
Index: Makefile
===================================================================
RCS file: /home/edd/cvsync/ports/math/Makefile,v
retrieving revision 1.138
diff -u -p -r1.138 Makefile
--- Makefile 23 Apr 2017 17:50:01 -0000 1.138
+++ Makefile 28 Apr 2017 11:16:18 -0000
@@ -42,7 +42,6 @@
SUBDIR += lapack
SUBDIR += libqalculate
SUBDIR += libtommath
- SUBDIR += logic2cnf
SUBDIR += lpsolve
SUBDIR += lrs
SUBDIR += mathomatic
Index: logic2cnf/Makefile
===================================================================
RCS file: logic2cnf/Makefile
diff -N logic2cnf/Makefile
--- logic2cnf/Makefile 10 Apr 2017 11:46:22 -0000 1.3
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,20 +0,0 @@
-# $OpenBSD: Makefile,v 1.3 2017/04/10 11:46:22 sthen Exp $
-COMMENT = easy to use propositional logic solver based on MiniSAT
-
-DISTNAME = logic2cnf-0.7.2
-
-CATEGORIES = math lang
-
-HOMEPAGE = http://projects.cs.kent.ac.uk/projects/logic2cnf/trac/
-MAINTAINER = Edd Barrett <[email protected]>
-
-# ISC
-PERMIT_PACKAGE_CDROM = Yes
-
-WANTLIB += c m ${LIBCXX}
-
-MASTER_SITES = ${HOMEPAGE}/raw-attachment/wiki/releases/
-
-CONFIGURE_STYLE = gnu
-
-.include <bsd.port.mk>
Index: logic2cnf/distinfo
===================================================================
RCS file: logic2cnf/distinfo
diff -N logic2cnf/distinfo
--- logic2cnf/distinfo 18 Jan 2015 03:14:27 -0000 1.2
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,2 +0,0 @@
-SHA256 (logic2cnf-0.7.2.tar.gz) = l2DMnjfaOhlfj597ARmSCNcYrp49ZdZcj+hDszJewyY=
-SIZE (logic2cnf-0.7.2.tar.gz) = 207595
Index: logic2cnf/pkg/DESCR
===================================================================
RCS file: logic2cnf/pkg/DESCR
diff -N logic2cnf/pkg/DESCR
--- logic2cnf/pkg/DESCR 24 Oct 2010 13:55:41 -0000 1.1.1.1
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,4 +0,0 @@
-Logic2CNF is an easy to use propositional logic solver based upon
-MiniSAT (http://minisat.se). Logic is programmed using a simple grammar
-(instead of having to convert logic to DIMACS) and all CNF conversion is
-automatic.
Index: logic2cnf/pkg/PLIST
===================================================================
RCS file: logic2cnf/pkg/PLIST
diff -N logic2cnf/pkg/PLIST
--- logic2cnf/pkg/PLIST 24 Oct 2010 13:55:41 -0000 1.1.1.1
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,8 +0,0 @@
-@comment $OpenBSD: PLIST,v 1.1.1.1 2010/10/24 13:55:41 edd Exp $
-@bin bin/logic2cnf
-@man man/man1/logic2cnf.1
-share/l2cstd/
-share/l2cstd/l2c_arith.m4
-share/l2cstd/l2c_bitwise.m4
-share/l2cstd/l2c_sparc64.m4
-share/l2cstd/l2c_util.m4
Index: Makefile
===================================================================
RCS file: /home/edd/cvsync/ports/devel/quirks/Makefile,v
retrieving revision 1.471
diff -u -p -r1.471 Makefile
--- Makefile 27 Apr 2017 09:20:23 -0000 1.471
+++ Makefile 28 Apr 2017 11:20:16 -0000
@@ -5,7 +5,7 @@ CATEGORIES = devel databases
DISTFILES =
# API.rev
-PKGNAME = quirks-2.316
+PKGNAME = quirks-2.317
PKG_ARCH = *
MAINTAINER = Marc Espie <[email protected]>
Index: files/Quirks.pm
===================================================================
RCS file: /home/edd/cvsync/ports/devel/quirks/files/Quirks.pm,v
retrieving revision 1.483
diff -u -p -r1.483 Quirks.pm
--- files/Quirks.pm 27 Apr 2017 09:20:23 -0000 1.483
+++ files/Quirks.pm 28 Apr 2017 11:21:33 -0000
@@ -960,6 +960,7 @@ my $obsolete_reason = {
'teknap' => 6,
'trafd' => 4,
'topbeat' => 3,
+ 'logic2cnf' => 3,
};
# reasons for obsolete packages
