28 lines
724 B
Makefile
28 lines
724 B
Makefile
# $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"
|