From owner-svn-ports-head@freebsd.org Fri Oct 23 17:24:13 2015 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id EF62FA1D119; Fri, 23 Oct 2015 17:24:13 +0000 (UTC) (envelope-from danfe@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 9E31DD64; Fri, 23 Oct 2015 17:24:13 +0000 (UTC) (envelope-from danfe@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id t9NHOCiS050938; Fri, 23 Oct 2015 17:24:12 GMT (envelope-from danfe@FreeBSD.org) Received: (from danfe@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id t9NHOCxl050936; Fri, 23 Oct 2015 17:24:12 GMT (envelope-from danfe@FreeBSD.org) Message-Id: <201510231724.t9NHOCxl050936@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: danfe set sender to danfe@FreeBSD.org using -f From: Alexey Dokuchaev Date: Fri, 23 Oct 2015 17:24:12 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r400041 - head/lang/polyml X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 23 Oct 2015 17:24:14 -0000 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 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 +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 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