# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD: math/minisat/Makefile 327746 2013-09-20 20:55:04Z bapt $

PORTNAME=	minisat
PORTVERSION=	2.2.1
CATEGORIES=	math devel
MASTER_SITES=	http://highsecure.ru/distfiles/

MAINTAINER=	vsevolod@FreeBSD.org
COMMENT=	A minimalistic, open-source SAT solver

USES=	gmake
USE_LDCONFIG=	yes
MAKE_ENV=	prefix=${PREFIX}

NO_STAGE=	yes
.include <bsd.port.mk>