2016-05-11 16:44:06 +02:00
|
|
|
PORTNAME= mosml
|
|
|
|
PORTVERSION= 2.10.1
|
2016-05-12 15:13:36 +02:00
|
|
|
DISTVERSIONPREFIX= ver-
|
2020-01-27 10:30:27 +01:00
|
|
|
PORTREVISION= 1
|
2016-05-11 16:44:06 +02:00
|
|
|
CATEGORIES= lang
|
|
|
|
|
2019-11-04 22:21:03 +01:00
|
|
|
MAINTAINER= ports@FreeBSD.org
|
2016-05-11 16:44:06 +02:00
|
|
|
COMMENT= Lightweight implementation of Standard ML
|
2022-09-07 23:06:12 +02:00
|
|
|
WWW= https://mosml.org/
|
2016-05-11 16:44:06 +02:00
|
|
|
|
2021-05-04 11:32:20 +02:00
|
|
|
# Converted from RESTRICTED
|
|
|
|
LICENSE= mosml
|
|
|
|
LICENSE_NAME= mosml
|
|
|
|
LICENSE_TEXT= Restrictions on for-profit distribution
|
|
|
|
LICENSE_PERMS= auto-accept
|
|
|
|
|
2018-07-02 06:00:29 +02:00
|
|
|
BROKEN_mips= does not configure: this architecture seems to be neither big endian nor little endian
|
|
|
|
BROKEN_mips64= does not configure: this architecture seems to be neither big endian nor little endian
|
|
|
|
BROKEN_powerpc64= does not configure: this architecture seems to be neither big endian nor little endian
|
|
|
|
|
2016-05-11 16:44:06 +02:00
|
|
|
LIB_DEPENDS= libgmp.so:math/gmp \
|
|
|
|
libgdbm.so:databases/gdbm
|
|
|
|
|
|
|
|
GH_ACCOUNT= kfl
|
|
|
|
USE_GITHUB= yes
|
|
|
|
|
|
|
|
USES= compiler:features gmake perl5
|
|
|
|
ALL_TARGET= world
|
|
|
|
MAKE_ARGS= ADDRUNLIBS= \
|
2016-05-18 14:43:12 +02:00
|
|
|
CC="${CC}" \
|
2016-05-11 16:44:06 +02:00
|
|
|
CPP="${CPP} -P -traditional -Dunix -Umsdos" \
|
|
|
|
DOCSDIR="${DOCSDIR}" \
|
|
|
|
DYNLD="${CC} -shared" \
|
|
|
|
LD="${CC}" \
|
|
|
|
LD_RUN_PATH="${PREFIX}/lib/mosml" \
|
|
|
|
MOSMLHOME="${MOSMLHOME}" \
|
|
|
|
STRIP="${STRIP_CMD}"
|
|
|
|
WRKSRC_SUBDIR= src
|
|
|
|
|
|
|
|
OPTIONS_DEFINE= DOCS EXAMPLES
|
|
|
|
|
|
|
|
post-patch:
|
2020-01-27 10:30:27 +01:00
|
|
|
@${REINPLACE_CMD} 's/make /$$(MAKE) /' ${WRKSRC}/doc/Makefile \
|
2016-05-11 16:44:06 +02:00
|
|
|
${WRKSRC}/doc/helpsigs/Makefile
|
|
|
|
|
|
|
|
post-install:
|
2020-01-27 10:30:27 +01:00
|
|
|
@${REINPLACE_CMD} -i '' -e 's|${STAGEDIR}||' \
|
|
|
|
${STAGEDIR}${PREFIX}/lib/mosml/header
|
|
|
|
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/mosml/lib*.so
|
|
|
|
|
|
|
|
post-install-DOCS-on:
|
2016-05-11 16:44:06 +02:00
|
|
|
${INSTALL_DATA} ${WRKSRC}/../copyrght/copyrght.att \
|
|
|
|
${WRKSRC}/../copyrght/copyrght.cl \
|
|
|
|
${WRKSRC}/../copyrght/gpl2 \
|
|
|
|
${WRKSRC}/../README ${STAGEDIR}${DOCSDIR}
|
2020-01-27 10:30:27 +01:00
|
|
|
|
|
|
|
post-install-EXAMPLES-on:
|
2016-05-11 16:44:06 +02:00
|
|
|
@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
|
2020-01-27 10:30:27 +01:00
|
|
|
@cd ${WRKSRC}/../examples && ${COPYTREE_SHARE} . "${STAGEDIR}${EXAMPLESDIR}" \
|
2016-11-02 23:45:14 +01:00
|
|
|
'-not ( -name *\.orig -o -name *\.bak -o -name *\.w32 )'
|
2016-05-11 16:44:06 +02:00
|
|
|
|
2020-01-27 10:30:27 +01:00
|
|
|
.include <bsd.port.mk>
|