mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-17 03:25:46 +00:00
8c9b87da6e
- portlint(1) PR: ports/114283 Submitted by: gabor Approved by: Peter Johnson <johnson.peter@gmail.com> (maintainer)
43 lines
1.3 KiB
Makefile
43 lines
1.3 KiB
Makefile
# New ports collection makefile for: scv
|
|
# Date created: 16 December 2006
|
|
# Whom: Peter Johnson
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= scv
|
|
PORTVERSION= 1.0p2
|
|
CATEGORIES= cad devel
|
|
MASTER_SITES= # you have to register and manually fetch
|
|
EXTRACT_SUFX= -sysc2.2.12jun06.tgz
|
|
|
|
MAINTAINER= johnson.peter@gmail.com
|
|
COMMENT= SystemC Verification library
|
|
|
|
BUILD_DEPENDS= ${LOCALBASE}/systemc/lib-freebsd/libsystemc.a:${PORTSDIR}/cad/systemc
|
|
RUN_DEPENDS= ${LOCALBASE}/systemc/lib-freebsd/libsystemc.a:${PORTSDIR}/cad/systemc
|
|
|
|
RESTRICTED= You have to register at http://www.systemc.org/account/register.php first
|
|
|
|
USE_GMAKE= yes
|
|
HAS_CONFIGURE= yes
|
|
|
|
WRKSRC= ${WRKDIR}/scv-1.0p2-sysc2.2
|
|
CONFIGURE_SCRIPT= ../configure
|
|
CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL}
|
|
CONFIGURE_ARGS= --with-systemc=${LOCALBASE}/systemc ${CONFIGURE_TARGET}
|
|
CONFIGURE_WRKSRC= ${WRKSRC}/objdir
|
|
BUILD_WRKSRC= ${WRKSRC}/objdir
|
|
INSTALL_WRKSRC= ${WRKSRC}/objdir
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX})
|
|
IGNORE= is restricted. You have to register at http://www.systemc.org/account/register.php and download ${DISTFILES} from there first. Then put ${DISTFILES} into ${DISTDIR} and run make again
|
|
.endif
|
|
|
|
pre-configure:
|
|
@${MKDIR} ${WRKSRC}/objdir
|
|
|
|
.include <bsd.port.post.mk>
|