mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-21 00:25:50 +00:00
lang/polyml: depend on ffi, use pkg-plist, add motif option
PR: 192165 Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
This commit is contained in:
parent
6cd62d0b22
commit
fd55d94780
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=363649
@ -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>
|
||||
|
9
lang/polyml/pkg-plist
Normal file
9
lang/polyml/pkg-plist
Normal file
@ -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
|
Loading…
Reference in New Issue
Block a user