blob: ba4f26dd2476290a9bf0f38fc6dc5dd5743bb73f (
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.3 2014/12/15 12:31:09 jperkin 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++
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"
|
