pkgsrc-WIP-changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

glucose-syrup: remove



Module Name:	pkgsrc-wip
Committed By:	miwarin <miwarin%gmail.com@localhost>
Pushed By:	miwarin
Date:		Sat May 26 19:17:58 2018 +0900
Changeset:	7a3f5ec773d1e9747a98fd5876a9b19c57f250ad

Modified Files:
	Makefile
Removed Files:
	glucose-syrup/DESCR
	glucose-syrup/Makefile
	glucose-syrup/PLIST
	glucose-syrup/distinfo

Log Message:
glucose-syrup: remove

MASTER_SITES empty

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=7a3f5ec773d1e9747a98fd5876a9b19c57f250ad

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 Makefile               |  1 -
 glucose-syrup/DESCR    |  3 ---
 glucose-syrup/Makefile | 25 -------------------------
 glucose-syrup/PLIST    |  2 --
 glucose-syrup/distinfo |  6 ------
 5 files changed, 37 deletions(-)

diffs:
diff --git a/Makefile b/Makefile
old mode 100644
new mode 100755
index ba7b807913..13638a6873
--- a/Makefile
+++ b/Makefile
@@ -942,7 +942,6 @@ SUBDIR+=	glimmerm
 SUBDIR+=	glkloader
 SUBDIR+=	glkterm
 SUBDIR+=	globulation2
-SUBDIR+=	glucose-syrup
 SUBDIR+=	glulxe
 SUBDIR+=	gmap
 SUBDIR+=	gmc2mid
diff --git a/glucose-syrup/DESCR b/glucose-syrup/DESCR
deleted file mode 100644
index d10a3595b2..0000000000
--- a/glucose-syrup/DESCR
+++ /dev/null
@@ -1,3 +0,0 @@
-Glucose-syrup is a parallel SAT solver
-It is based on a new scoring scheme for the clause learning mechanism
-of so called "Modern" SAT solvers.
diff --git a/glucose-syrup/Makefile b/glucose-syrup/Makefile
deleted file mode 100644
index 5d9d5e053c..0000000000
--- a/glucose-syrup/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-# $NetBSD$
-
-DISTNAME=	glucose-syrup
-PKGNAME=	glucose-syrup-4.0
-CATEGORIES=	devel
-MASTER_SITES=	http://www.labri.fr/perso/lsimon/downloads/softwares/
-EXTRACT_SUFX=	.tgz
-
-MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE=	http://www.labri.fr/perso/lsimon/downloads/softwares/
-COMMENT=	Parallel SAT solver
-LICENSE=	glucose-syrup-license
-
-USE_TOOLS+=		gmake
-BUILD_TARGET=		rs
-
-WRKSRC=			${WRKDIR}/${DISTNAME}/parallel
-INSTALLATION_DIRS+=	bin
-
-do-install:
-	${INSTALL_PROGRAM} ${WRKSRC}/glucose-syrup_static ${DESTDIR}${PREFIX}/bin/glucose-syrup
-
-USE_LANGUAGES=	c++
-
-.include "../../mk/bsd.pkg.mk"
diff --git a/glucose-syrup/PLIST b/glucose-syrup/PLIST
deleted file mode 100644
index c9cf2d92dd..0000000000
--- a/glucose-syrup/PLIST
+++ /dev/null
@@ -1,2 +0,0 @@
-@comment $NetBSD$
-bin/glucose-syrup
diff --git a/glucose-syrup/distinfo b/glucose-syrup/distinfo
deleted file mode 100644
index ca8235327c..0000000000
--- a/glucose-syrup/distinfo
+++ /dev/null
@@ -1,6 +0,0 @@
-$NetBSD$
-
-SHA1 (glucose-syrup.tgz) = 322d3db7aef8d152925577d45697f150161399d8
-RMD160 (glucose-syrup.tgz) = f7020dbb995cd58f217a00cc351e2c3cd7f6546c
-SHA512 (glucose-syrup.tgz) = 3eec5cf4791385ad0b2e2e3c272cf40166031f5ea604310d373c34e6e55faa833009a27912ce6eb4d1f91d584bd1ada504bb5986f78de6c5cd55de3a8896572f
-Size (glucose-syrup.tgz) = 74125 bytes


Home | Main Index | Thread Index | Old Index