diff options
| author | danfe <danfe@FreeBSD.org> | 2015-10-24 01:24:12 +0800 |
|---|---|---|
| committer | danfe <danfe@FreeBSD.org> | 2015-10-24 01:24:12 +0800 |
| commit | a7a0e24c234b1be0639e9875130b3366ee40ecda (patch) | |
| tree | 088c2f3ebb9901d41316947adfd085b396d94825 /lang | |
| parent | 1e1e15587bc1f1744c5ab11e08d7dd7dc265bd5b (diff) | |
| download | freebsd-ports-gnome-a7a0e24c234b1be0639e9875130b3366ee40ecda.tar.gz freebsd-ports-gnome-a7a0e24c234b1be0639e9875130b3366ee40ecda.tar.zst freebsd-ports-gnome-a7a0e24c234b1be0639e9875130b3366ee40ecda.zip | |
- Allow exposing polyml as a shared library (as required by e.g. HOL4)
- Strip installed library as advised by portlint(1)
- While here, sort knobs and remove useless .include <bsd.port.options.mk>
PR: 203467
Approved by: maintainer
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/polyml/Makefile | 16 | ||||
| -rw-r--r-- | lang/polyml/pkg-plist | 3 |
2 files changed, 12 insertions, 7 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 4a2fc80a262e..0b52968b0a3f 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -3,7 +3,7 @@ PORTNAME= polyml PORTVERSION= 5.5.2 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} @@ -16,20 +16,22 @@ LICENSE= LGPL21 LIB_DEPENDS= libffi.so:${PORTSDIR}/devel/libffi +ONLY_FOR_ARCHS= i386 amd64 + +USES= libtool pathfix pkgconfig GNU_CONFIGURE= yes -CONFIGURE_ARGS= --with-system-libffi -USES= libtool pkgconfig pathfix +CONFIGURE_ARGS= --with-system-libffi --enable-shared USE_LDCONFIG= yes -ONLY_FOR_ARCHS= i386 amd64 -OPTIONS_DEFINE= MOTIF +INSTALL_TARGET= install-strip -.include <bsd.port.options.mk> +OPTIONS_DEFINE= MOTIF MOTIF_CONFIGURE_WITH= x MOTIF_USE= motif -pre-build: +post-patch: + @${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure @${REINPLACE_CMD} "s|ELFXX_R_INFO(_y, _z) ELF64_R_INFO(_y, _z)|ELFXX_R_INFO(_y, _z) ELF64_R_INFO((Elf64_Xword)(_y), _z)|g" ${WRKSRC}/libpolyml/elfexport.h .include <bsd.port.mk> diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist index 254f894262cd..2616ea9ce345 100644 --- a/lang/polyml/pkg-plist +++ b/lang/polyml/pkg-plist @@ -3,6 +3,9 @@ bin/polyc bin/polyimport lib/libpolymain.a lib/libpolyml.a +lib/libpolyml.so +lib/libpolyml.so.6 +lib/libpolyml.so.6.0.0 libdata/pkgconfig/polyml.pc man/man1/poly.1.gz man/man1/polyc.1.gz |