d4f0d0048a
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
65 lines
2.1 KiB
Makefile
65 lines
2.1 KiB
Makefile
# New ports collection makefile for: deputy
|
|
# Date created: 19 March 2007
|
|
# Whom: Kevin Lo <kevlo@FreeBSD.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= deputy
|
|
PORTVERSION= 1.1
|
|
PORTREVISION= 1
|
|
CATEGORIES= devel lang
|
|
MASTER_SITES= http://deputy.cs.berkeley.edu/
|
|
|
|
MAINTAINER= kevlo@FreeBSD.org
|
|
COMMENT= Advanced C compiler that enforces type and memory safety
|
|
|
|
BUILD_DEPENDS= ${LOCALBASE}/bin/ocamlopt:${PORTSDIR}/lang/ocaml
|
|
|
|
CONFLICTS= cil-*
|
|
|
|
ONLY_FOR_ARCHS= i386 amd64
|
|
USE_PERL5= yes
|
|
USE_GMAKE= yes
|
|
GNU_CONFIGURE= yes
|
|
|
|
MAN1= deputy.1
|
|
|
|
INCFILES= annots.h checks.h
|
|
LIBFILES= Cilly.pm KeptFile.pm OutputFile.pm TempFile.pm
|
|
EXECFILES= deputy.asm.exe deputy.byte.exe deputy_libc.o
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
.if ${PERL_LEVEL} < 500601
|
|
IGNORE= does not work with perl < 5.6.1
|
|
.endif
|
|
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e 's:@CILHOME@/lib:${SITE_PERL}/CIL:g; s:\@CILHOME\@:${PREFIX}:g' ${WRKSRC}/cil/bin/CilConfig.pm.in
|
|
@${REINPLACE_CMD} -e 's|^use KeptFile;|use CIL::KeptFile;|; s|^use OutputFile;|use CIL::OutputFile;|; s|^use TempFile;|use CIL::TempFile;|' ${WRKSRC}/cil/lib/Cilly.pm
|
|
@${REINPLACE_CMD} -e 's|^use OutputFile;|use CIL::OutputFile;|' ${WRKSRC}/cil/lib/KeptFile.pm
|
|
@${REINPLACE_CMD} -e 's|^use OutputFile;|use CIL::OutputFile;|' ${WRKSRC}/cil/lib/TempFile.pm
|
|
@${REINPLACE_CMD} -e 's|^use Cilly;|use CIL::Cilly;|' ${WRKSRC}/lib/Deputy.pm
|
|
@${REINPLACE_CMD} -e 's|$$::deputyhome|${PREFIX}|g; s|obj/$$::archos|libexec/deputy|g' ${WRKSRC}/lib/Deputy.pm
|
|
|
|
do-install:
|
|
${INSTALL_SCRIPT} ${WRKSRC}/bin/deputy ${PREFIX}/bin/
|
|
${MKDIR} ${SITE_PERL}/CIL
|
|
.for f in ${LIBFILES}
|
|
${INSTALL_DATA} ${WRKSRC}/cil/lib/${f} ${SITE_PERL}/CIL/
|
|
.endfor
|
|
${INSTALL_DATA} ${WRKSRC}/cil/bin/CilConfig.pm ${SITE_PERL}/
|
|
${INSTALL_DATA} ${WRKSRC}/lib/Deputy.pm ${SITE_PERL}/
|
|
${MKDIR} ${PREFIX}/libexec/deputy
|
|
.for f in ${EXECFILES}
|
|
${INSTALL} ${WRKSRC}/obj/${ARCH}_FREEBSD/${f} ${PREFIX}/libexec/deputy/
|
|
.endfor
|
|
${MKDIR} ${PREFIX}/include/deputy
|
|
${INSTALL_DATA} ${WRKSRC}/include/libc_patch.i ${PREFIX}/include/deputy/
|
|
.for f in ${INCFILES}
|
|
${INSTALL_DATA} ${WRKSRC}/include/deputy/${f} ${PREFIX}/include/deputy/
|
|
.endfor
|
|
${INSTALL_MAN} ${WRKSRC}/doc/deputy.1 ${MANPREFIX}/man/man1
|
|
|
|
.include <bsd.port.post.mk>
|