# Created by: John Marino <marino@FreeBSD.org>
# $FreeBSD: head/math/why3-gpl/Makefile 360738 2014-07-05 12:19:32Z tijl $

PORTNAME=	why3
PORTVERSION=	2014
PORTREVISION=	1
CATEGORIES=	math
MASTER_SITES=	http://downloads.dragonlace.net/src/ \
		LOCAL/marino
PKGNAMESUFFIX=	-gpl
DISTNAME=	${PORTNAME}${PKGNAMESUFFIX}-${PORTVERSION}-src

MAINTAINER=	marino@FreeBSD.org
COMMENT=	Component of SPARK 2014

LICENSE=	LGPL21 GPLv3
LICENSE_COMB=	multi

ALL_TARGET= all

.include "${.CURDIR}/../why3/Makefile.common"
.include <bsd.port.mk>