diff options
| author | swills <swills@FreeBSD.org> | 2014-08-01 02:43:35 +0800 |
|---|---|---|
| committer | swills <swills@FreeBSD.org> | 2014-08-01 02:43:35 +0800 |
| commit | 8f5ebc51a8e71ac3d5fc2cd2edb37d596df71f63 (patch) | |
| tree | 88c0204325afe3a507f29e0c9f95bb90cc91efbb /lang/polyml | |
| parent | 434606d7925c3690b1b64cc6d0949325306989ed (diff) | |
| download | freebsd-ports-gnome-8f5ebc51a8e71ac3d5fc2cd2edb37d596df71f63.tar.gz freebsd-ports-gnome-8f5ebc51a8e71ac3d5fc2cd2edb37d596df71f63.tar.zst freebsd-ports-gnome-8f5ebc51a8e71ac3d5fc2cd2edb37d596df71f63.zip | |
lang/polyml: depend on ffi, use pkg-plist, add motif option
PR: 192165
Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Diffstat (limited to 'lang/polyml')
| -rw-r--r-- | lang/polyml/Makefile | 26 | ||||
| -rw-r--r-- | lang/polyml/pkg-plist | 9 |
2 files changed, 20 insertions, 15 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 2495a77659a2..4a2fc80a262e 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -3,6 +3,7 @@ PORTNAME= polyml PORTVERSION= 5.5.2 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} @@ -13,27 +14,22 @@ COMMENT= Fast open-source implementation of Standard ML LICENSE= LGPL21 +LIB_DEPENDS= libffi.so:${PORTSDIR}/devel/libffi + GNU_CONFIGURE= yes -CONFIGURE_ARGS= --without-x --with-system-libffi -USE_GCC= yes +CONFIGURE_ARGS= --with-system-libffi +USES= libtool pkgconfig pathfix USE_LDCONFIG= yes ONLY_FOR_ARCHS= i386 amd64 -USES= libtool:keepla pkgconfig pathfix +OPTIONS_DEFINE= MOTIF + +.include <bsd.port.options.mk> + +MOTIF_CONFIGURE_WITH= x +MOTIF_USE= motif pre-build: @${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 -PLIST_FILES= bin/poly \ - bin/polyc \ - bin/polyimport \ - lib/libpolymain.a \ - lib/libpolymain.la \ - lib/libpolyml.a \ - lib/libpolyml.la \ - libdata/pkgconfig/polyml.pc \ - man/man1/poly.1.gz \ - man/man1/polyc.1.gz \ - man/man1/polyimport.1.gz - .include <bsd.port.mk> diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist new file mode 100644 index 000000000000..254f894262cd --- /dev/null +++ b/lang/polyml/pkg-plist @@ -0,0 +1,9 @@ +bin/poly +bin/polyc +bin/polyimport +lib/libpolymain.a +lib/libpolyml.a +libdata/pkgconfig/polyml.pc +man/man1/poly.1.gz +man/man1/polyc.1.gz +man/man1/polyimport.1.gz |