svn commit: r400041 - head/lang/polyml
Alexey Dokuchaev
danfe at FreeBSD.org
Fri Oct 23 17:24:14 UTC 2015
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
More information about the svn-ports-all
mailing list