mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
lang/polyml: update to 5.7.1
Move some variables to its place. PR: 229273 Reported by: hannes@mehnert.org Approved by: tcberner (mentor) beyert@cs.ucr.edu (maintainer) Differential Revision: https://reviews.freebsd.org/D16022
This commit is contained in:
parent
651d502b86
commit
63285d2a16
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=473559
@ -2,7 +2,7 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= polyml
|
||||
PORTVERSION= 5.6
|
||||
PORTVERSION= 5.7.1
|
||||
DISTVERSIONPREFIX= v
|
||||
CATEGORIES= lang
|
||||
DIST_SUBDIR= ${PORTNAME}
|
||||
@ -12,13 +12,14 @@ COMMENT= Fast open-source implementation of Standard ML
|
||||
|
||||
LICENSE= LGPL21
|
||||
|
||||
ONLY_FOR_ARCHS= amd64 i386
|
||||
|
||||
LIB_DEPENDS= libffi.so:devel/libffi
|
||||
|
||||
ONLY_FOR_ARCHS= i386 amd64
|
||||
USES= libtool pathfix pkgconfig
|
||||
|
||||
USE_GITHUB= yes
|
||||
|
||||
USES= libtool pathfix pkgconfig
|
||||
GNU_CONFIGURE= yes
|
||||
CONFIGURE_ARGS= --with-system-libffi --enable-shared
|
||||
USE_LDCONFIG= yes
|
||||
@ -32,6 +33,6 @@ MOTIF_USE= motif
|
||||
|
||||
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
|
||||
@${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
@ -1,3 +1,3 @@
|
||||
TIMESTAMP = 1480154465
|
||||
SHA256 (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615
|
||||
SIZE (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 6066166
|
||||
TIMESTAMP = 1529843828
|
||||
SHA256 (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
|
||||
SIZE (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = 7218131
|
||||
|
@ -4,8 +4,8 @@ bin/polyimport
|
||||
lib/libpolymain.a
|
||||
lib/libpolyml.a
|
||||
lib/libpolyml.so
|
||||
lib/libpolyml.so.7
|
||||
lib/libpolyml.so.7.0.0
|
||||
lib/libpolyml.so.9
|
||||
lib/libpolyml.so.9.0.0
|
||||
libdata/pkgconfig/polyml.pc
|
||||
man/man1/poly.1.gz
|
||||
man/man1/polyc.1.gz
|
||||
|
Loading…
Reference in New Issue
Block a user