blob: a87ac4b08b8b1e2cf667391679cb15d286fde69b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# $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"
|
