Import glucose-syrup as wip/glucose-syrup

[coypu <coypu%sdf.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	coypu <coypu%sdf.org@localhost>
Pushed By:	coypu
Date:		Wed Jul 27 13:56:52 2016 +0300
Changeset:	18fd54920d172f9b19fdc1aa7b9e4ff21f696341

Added Files:
	glucose-syrup/DESCR
	glucose-syrup/Makefile
	glucose-syrup/PLIST
	glucose-syrup/distinfo

Log Message:
Import glucose-syrup as wip/glucose-syrup

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.

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

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

diffstat:
 glucose-syrup/DESCR    |  3 +++
 glucose-syrup/Makefile | 27 +++++++++++++++++++++++++++
 glucose-syrup/PLIST    |  2 ++
 glucose-syrup/distinfo |  6 ++++++
 4 files changed, 38 insertions(+)

diffs:
diff --git a/glucose-syrup/DESCR b/glucose-syrup/DESCR
new file mode 100644
index 0000000..d10a359
--- /dev/null
+++ b/glucose-syrup/DESCR
@@ -0,0 +1,3 @@
+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
new file mode 100644
index 0000000..0499bca
--- /dev/null
+++ b/glucose-syrup/Makefile
@@ -0,0 +1,27 @@
+# $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
+
+WRKSRC=			${WRKDIR}/${DISTNAME}/parallel
+INSTALLATION_DIRS+=	bin
+
+do-build:
+	set -e; cd ${WRKSRC}; ${GMAKE} rs
+
+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
new file mode 100644
index 0000000..c9cf2d9
--- /dev/null
+++ b/glucose-syrup/PLIST
@@ -0,0 +1,2 @@
+@comment $NetBSD$
+bin/glucose-syrup
diff --git a/glucose-syrup/distinfo b/glucose-syrup/distinfo
new file mode 100644
index 0000000..ca82353
--- /dev/null
+++ b/glucose-syrup/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (glucose-syrup.tgz) = 322d3db7aef8d152925577d45697f150161399d8
+RMD160 (glucose-syrup.tgz) = f7020dbb995cd58f217a00cc351e2c3cd7f6546c
+SHA512 (glucose-syrup.tgz) = 3eec5cf4791385ad0b2e2e3c272cf40166031f5ea604310d373c34e6e55faa833009a27912ce6eb4d1f91d584bd1ada504bb5986f78de6c5cd55de3a8896572f
+Size (glucose-syrup.tgz) = 74125 bytes