mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-06 06:30:19 +00:00
ec94e4d5eb
- ports that set USE_SQLITE with the *_USE option helper - ports that depend on libsqlite3 indirectly as reported by pkg rquery Approved by: portmgr (implicit)
23 lines
466 B
Makefile
23 lines
466 B
Makefile
# Created by: John Marino <marino@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
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>
|