Makefile

Branch :

Show log
Commit
Author : espie
Date : 2013-03-11 11:20:26
Hash : 0662a4e9
Message : PERMIT_* / REGRESS->TEST sweep

math/minisat/Makefile

# $OpenBSD: Makefile,v 1.7 2013/03/11 11:23:55 espie Exp $

COMMENT=		minimalistic Boolean satisfiability solver

DISTNAME=		minisat-2.2.0
REVISION=		0
CATEGORIES=		math

HOMEPAGE=		http://minisat.se/

MAINTAINER=		Jasper Lievisse Adriaanse <jasper@openbsd.org>

# MIT
PERMIT_PACKAGE_CDROM=	Yes

MASTER_SITES=		${HOMEPAGE}downloads/
DISTFILES=		${DISTNAME}${EXTRACT_SUFX} \
			MiniSat.pdf
EXTRACT_ONLY=		${DISTNAME}${EXTRACT_SUFX}

WANTLIB +=		c m stdc++ z

USE_GMAKE=		Yes
ALL_TARGET=		minisat
NO_TEST=		Yes
MAKE_ENV+=		MROOT=${WRKBUILD}
WRKDIST=		${WRKDIR}/minisat

do-build:
	cd ${WRKBUILD}/core && ${MAKE_ENV} ${MAKE_PROGRAM} ${MAKE_FLAGS}
	cd ${WRKBUILD}/simp && ${MAKE_ENV} ${MAKE_PROGRAM} ${MAKE_FLAGS}

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/core/minisat ${PREFIX}/bin/minisat
	${INSTALL_PROGRAM} ${WRKSRC}/simp/minisat ${PREFIX}/bin/minisats
	${INSTALL_DATA_DIR} ${PREFIX}/share/doc/minisat
	${INSTALL_DATA} ${DISTDIR}/MiniSat.pdf ${PREFIX}/share/doc/minisat

.include <bsd.port.mk>

IABSD.fr/ports/math/minisat/Makefile

Commit