b7f05445c0
It has been common practice to have one or more URLs at the end of the ports' pkg-descr files, one per line and prefixed with "WWW:". These URLs should point at a project website or other relevant resources. Access to these URLs required processing of the pkg-descr files, and they have often become stale over time. If more than one such URL was present in a pkg-descr file, only the first one was tarnsfered into the port INDEX, but for many ports only the last line did contain the port specific URL to further information. There have been several proposals to make a project URL available as a macro in the ports' Makefiles, over time. This commit implements such a proposal and moves one of the WWW: entries of each pkg-descr file into the respective port's Makefile. A heuristic attempts to identify the most relevant URL in case there is more than one WWW: entry in some pkg-descr file. URLs that are not moved into the Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr files in order to preserve them. There are 1256 ports that had no WWW: entries in pkg-descr files. These ports will not be touched in this commit. The portlint port has been adjusted to expect a WWW entry in each port Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as deprecated. Approved by: portmgr (tcberner)
37 lines
1.1 KiB
Makefile
37 lines
1.1 KiB
Makefile
PORTNAME= apron
|
|
DISTVERSIONPREFIX= v
|
|
DISTVERSION= 0.9.13
|
|
CATEGORIES= math
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= APRON numerical abstract domain library
|
|
WWW= http://apron.cri.ensmp.fr/library/
|
|
|
|
LICENSE= LGPL21
|
|
LICENSE_FILE= ${WRKSRC}/COPYING
|
|
|
|
BROKEN_aarch64= uses deprecated fpsetround(3) that isn't even defined on arm64, see https://github.com/antoinemine/apron/issues/47
|
|
BROKEN_armv6= uses deprecated fpsetround(3) that isn't even defined on armv6, see https://github.com/antoinemine/apron/issues/47
|
|
BROKEN_armv7= uses deprecated fpsetround(3) that isn't even defined on armv7, see https://github.com/antoinemine/apron/issues/47
|
|
BROKEN_riscv64= uses deprecated fpsetround(3) that isn't even defined on riscv64, see https://github.com/antoinemine/apron/issues/47
|
|
|
|
LIB_DEPENDS= libgmp.so:math/gmp \
|
|
libmpfr.so:math/mpfr \
|
|
libppl.so:devel/ppl
|
|
|
|
USES= gmake localbase:ldflags
|
|
USE_LDCONFIG= yes
|
|
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ARGS= -prefix ${STAGEDIR}${PREFIX} -no-ocaml -no-java
|
|
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= antoinemine
|
|
|
|
post-stage:
|
|
@${STRIP_CMD} \
|
|
${STAGEDIR}${LOCALBASE}/bin/* \
|
|
${STAGEDIR}${LOCALBASE}/lib/lib*.so
|
|
|
|
.include <bsd.port.mk>
|