d7d6ed1300
Built with cmake, installs minisat libraries (needed for a devel/stp update). Discussed with jasper@ at t2k17.
28 lines
540 B
Makefile
28 lines
540 B
Makefile
# $OpenBSD: Makefile,v 1.13 2017/08/20 16:39:44 jca Exp $
|
|
|
|
COMMENT= minimalistic Boolean satisfiability solver
|
|
|
|
DISTNAME= minisat-2.2.0.20170810
|
|
GH_ACCOUNT= niklasso
|
|
GH_PROJECT= minisat
|
|
GH_COMMIT= 37dc6c67e2af26379d88ce349eb9c4c6160e8543
|
|
|
|
SHARED_LIBS += minisat 0.0 # 2.1
|
|
|
|
CATEGORIES= math
|
|
|
|
HOMEPAGE= http://minisat.se/
|
|
|
|
MAINTAINER= Jasper Lievisse Adriaanse <jasper@openbsd.org>
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
|
|
WANTLIB += c m ${COMPILER_LIBCXX} z
|
|
|
|
MODULES= devel/cmake
|
|
|
|
NO_TEST= Yes
|
|
|
|
.include <bsd.port.mk>
|