Date: Fri, 23 Oct 2015 17:24:12 +0000 (UTC) From: Alexey Dokuchaev <danfe@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r400041 - head/lang/polyml Message-ID: <201510231724.t9NHOCxl050936@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: danfe Date: Fri Oct 23 17:24:12 2015 New Revision: 400041 URL: https://svnweb.freebsd.org/changeset/ports/400041 Log: - 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 Modified: head/lang/polyml/Makefile head/lang/polyml/pkg-plist Modified: head/lang/polyml/Makefile ============================================================================== --- head/lang/polyml/Makefile Fri Oct 23 17:19:35 2015 (r400040) +++ head/lang/polyml/Makefile Fri Oct 23 17:24:12 2015 (r400041) @@ -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> Modified: head/lang/polyml/pkg-plist ============================================================================== --- head/lang/polyml/pkg-plist Fri Oct 23 17:19:35 2015 (r400040) +++ head/lang/polyml/pkg-plist Fri Oct 23 17:24:12 2015 (r400041) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201510231724.t9NHOCxl050936>