cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- bump to a version that support proof logging

Browse Source 
- don't hide compilation commands
This commit is contained in:
jasper 2010-05-13 18:29:47 +00:00
parent 2ab4831a5b
commit fab7307bec
3 changed files with 24 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
math/minisat/Makefile
View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.2 2009/09/18 09:31:33 jasper Exp $
# $OpenBSD: Makefile,v 1.3 2010/05/13 18:29:47 jasper Exp $
COMMENT= minimalistic Boolean satisfiability solver
V= 1.14
DISTNAME= MiniSat_v$V.2006-Aug-29.src
PKGNAME= minisat-$Vp0
DISTNAME= MiniSat-p_v$V.2006-Sep-07.src
PKGNAME= minisat-$Vp1
CATEGORIES= math
HOMEPAGE= http://minisat.se/
@ -22,7 +22,7 @@ EXTRACT_SUFX= .zip
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} \
MiniSat.ps.gz
WRKDIST= ${WRKDIR}/MiniSat_v$V/
WRKDIST= ${WRKDIR}/MiniSat-p_v$V/
WANTLIB += c m stdc++ z

10
math/minisat/distinfo
View File

@ -1,10 +1,10 @@
MD5 (MiniSat-p_v1.14.2006-Sep-07.src.zip) = ii82gY3BqA7nOhYt1PfaOA==
MD5 (MiniSat.ps.gz) = h8h2aKzzvzU4Vrzw792zIA==
MD5 (MiniSat_v1.14.2006-Aug-29.src.zip) = aXh7KUKo0rKrTu/iLT3SYg==
RMD160 (MiniSat-p_v1.14.2006-Sep-07.src.zip) = cR0jHlbsRyXMOBEPADz79xXw0Rs=
RMD160 (MiniSat.ps.gz) = DvBrRGvaFtTTRBTKdZFfYj4jqbM=
RMD160 (MiniSat_v1.14.2006-Aug-29.src.zip) = aYeuWxRp6YvDlHmvQxq+yetO518=
SHA1 (MiniSat-p_v1.14.2006-Sep-07.src.zip) = CSa1GM4cVW2O/2SoTbvKjIB1+0A=
SHA1 (MiniSat.ps.gz) = xNWe75xaOpO9nePnHumSdipjdhc=
SHA1 (MiniSat_v1.14.2006-Aug-29.src.zip) = ss3eLRqNdFH0uJ/v3qrHfTCN2ec=
SHA256 (MiniSat-p_v1.14.2006-Sep-07.src.zip) = j2TOBtKueKZsn/ZAacn0u1obtGu15ulUptMLDZIF36g=
SHA256 (MiniSat.ps.gz) = FVUdwKddyJRGpQCF7yjfK2VJ/bs+SMHvUzFqu6ZTUPI=
SHA256 (MiniSat_v1.14.2006-Aug-29.src.zip) = USBGSObjXX9Tw7uHU+HkFx5iaP6U46g8qmp7FsDUwUw=
SIZE (MiniSat-p_v1.14.2006-Sep-07.src.zip) = 37888
SIZE (MiniSat.ps.gz) = 112951
SIZE (MiniSat_v1.14.2006-Aug-29.src.zip) = 29445

20
math/minisat/patches/patch-Makefile
View File

@ -1,16 +1,26 @@
$OpenBSD: patch-Makefile,v 1.1.1.1 2009/09/17 21:12:04 jasper Exp $
--- Makefile.orig Thu Sep 17 22:48:50 2009
+++ Makefile Thu Sep 17 22:49:43 2009
@@ -15,10 +15,8 @@ RCOBJS = $(addsuffix r, $(COBJS))
$OpenBSD: patch-Makefile,v 1.2 2010/05/13 18:29:47 jasper Exp $
--- Makefile.orig Tue Jul 5 09:31:00 2005
+++ Makefile Thu May 13 20:27:45 2010
@@ -15,11 +15,9 @@ RCOBJS = $(addsuffix r, $(COBJS))
EXEC = minisat
-CXX = g++
-CFLAGS = -Wall -ffloat-store
-COPTIMIZE = -O3
-
+CXX ?= g++
+CFLAGS += -Wall -ffloat-store
-
.PHONY : s p d r build clean depend
s: WAY=standard
@@ -50,7 +48,7 @@ clean:
## Build rule
%.o %.op %.od %.or: %.C
@echo Compiling: $<
- @$(CXX) $(CFLAGS) -c -o $@ $<
+ $(CXX) $(CFLAGS) -c -o $@ $<
## Linking rules (standard/profile/debug/release)
$(EXEC): $(COBJS)