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