mirror of
https://git.freebsd.org/ports.git
synced 2025-05-21 19:35:28 -04: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
544 B
Makefile
23 lines
544 B
Makefile
# Created by: John Marino <marino@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= why3
|
|
PORTVERSION= 0.83
|
|
PORTREVISION= 1
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://gforge.inria.fr/frs/download.php/33490/ \
|
|
http://pkgs.fedoraproject.org/repo/pkgs/why3/${FEDORA}/
|
|
|
|
MAINTAINER= marino@FreeBSD.org
|
|
COMMENT= Deductive program verification platform
|
|
|
|
LICENSE= LGPL21
|
|
|
|
CONFLICT_INSTALL= why3-gpl-*
|
|
|
|
FEDORA= ${DISTNAME}${EXTRACT_SUFX}/35f99e5f64939e50ea57f641ba2073ec
|
|
ALL_TARGET= all byte
|
|
HAS_MANUAL= yes
|
|
|
|
.include "${.CURDIR}/Makefile.common"
|
|
.include <bsd.port.mk>
|