1 # Created by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
5 PORTVERSION= ${ATS_VER}
8 MASTER_SITES= SF/${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
9 DISTNAME= ${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
11 MAINTAINER= ports@FreeBSD.org
12 COMMENT= Language with a type system rooted in the Applied Type System
14 ONLY_FOR_ARCHS= i386 amd64
17 CFLAGS+= -I${LOCALBASE}/include \
22 PORTEXAMPLES= AUP INTRO KernighanRitchie MISC MULTICORE TEST
24 OPTIONS_DEFINE= GMP PCRE DOCS EXAMPLES
25 OPTIONS_DEFAULT= GMP PCRE
26 GMP_LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp
27 PCRE_LIB_DEPENDS= libpcre.so:${PORTSDIR}/devel/pcre
29 .include <bsd.port.pre.mk>
32 PLIST_SUB+= LIBDIR="lib64"
34 PLIST_SUB+= LIBDIR="lib"
38 ${SED} -i '' -e 's/gcc/${CC}/' \
39 ${WRKSRC}/ccomp/runtime/GCATS/Makefile \
40 ${WRKSRC}/utils/scripts/Makefile \
41 ${WRKSRC}/libatsdoc/Makefile
42 ${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \
43 ${WRKSRC}/utils/scripts/basics.dats
44 ${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \
45 -e 's/execvp("gcc", argv)/execvp("${CC}", argv)/' \
46 ${WRKSRC}/utils/scripts/atslib.dats
49 .if empty(PORT_OPTIONS:MGMP)
50 ${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h
52 .if empty(PORT_OPTIONS:MPCRE)
53 ${SED} -i '' -e '/HAVE_PCRE_H/d' ${WRKSRC}/config.h
57 ${STRIP_CMD} ${STAGEDIR}${PREFIX}/${ATS_LIBDIR_REL}/bin/*
58 ${MKDIR} ${STAGEDIR}${DOCSDIR}
60 ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
61 ${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
62 cd ${WRKSRC}/doc/EXAMPLE && \
63 ${COPYTREE_SHARE} "${PORTEXAMPLES}" ${STAGEDIR}${EXAMPLESDIR}
64 ${FIND} ${STAGEDIR}${EXAMPLESDIR} -name Makefile \
65 -exec ${SED} -i '' -e 's|^ATSUSRQ=.*|ATSUSRQ="${PREFIX}"|' {} \;
68 .include <bsd.port.post.mk>