blob: 8c87c3b2686742ab15b587f80e2ab70ee54eaa74 (
plain) (
tree)
|
|
# 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
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.mk>
|
