mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
62872200a3
which adds advanced verification capabilities to SystemC, including constrained randomization, complex constraint solvers, data-structure creation, Transaction Level Modeling (TLM), concurrency, and dynamic resource allocation management. WWW: http://www.systemc.org/ PR: ports/106822 Submitted by: Peter Johnson
43 lines
1.2 KiB
Makefile
43 lines
1.2 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
|
|
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
|
|
USE_GNUCONFIG= 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>
|