28 lines
724 B
Makefile
28 lines
724 B
Makefile
# $NetBSD: Makefile,v 1.5 2018/07/18 00:06:21 joerg Exp $
|
|
|
|
DISTNAME= minisat-2.2.0
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://minisat.se/downloads/
|
|
|
|
MAINTAINER= pkgsrc-users@NetBSD.org
|
|
HOMEPAGE= http://minisat.se/
|
|
COMMENT= Minimalistic yet highly efficient SAT solver
|
|
LICENSE= mit
|
|
|
|
WRKSRC= ${WRKDIR}/minisat
|
|
USE_LANGUAGES= c++03
|
|
USE_TOOLS+= gmake
|
|
#BUILD_DIRS= core simp
|
|
BUILD_DIRS= simp
|
|
MAKE_ENV= MROOT=${WRKSRC}
|
|
MAKE_ENV+= LFLAGS="-L${BUILDLINK_PREFIX.zlib}/lib ${COMPILER_RPATH_FLAG}${BUILDLINK_PREFIX.zlib}/lib"
|
|
BUILD_TARGET= # empty
|
|
|
|
INSTALLATION_DIRS+= bin
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/simp/minisat \
|
|
${DESTDIR}${PREFIX}/bin/minisat
|
|
|
|
.include "../../devel/zlib/buildlink3.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|