mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-19 08:13:21 +00:00
The SystemC Verification (SCV) library is an extension library to SystemC
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
This commit is contained in:
Martin Wilke
parent
d802cb32bb
commit
62872200a3
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=180469
@ -63,6 +63,7 @@
|
||||
SUBDIR += qucs
|
||||
SUBDIR += sceptre
|
||||
SUBDIR += scotch
|
||||
SUBDIR += scv
|
||||
SUBDIR += slffea
|
||||
SUBDIR += spice
|
||||
SUBDIR += systemc
|
||||
|
||||
42
cad/scv/Makefile
Normal file
42
cad/scv/Makefile
Normal file
@ -0,0 +1,42 @@
|
||||
# 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>
|
||||
3
cad/scv/distinfo
Normal file
3
cad/scv/distinfo
Normal file
@ -0,0 +1,3 @@
|
||||
MD5 (scv-1.0p2-sysc2.2.12jun06.tgz) = a7570ed0c21959dd86226d0ea86dc093
|
||||
SHA256 (scv-1.0p2-sysc2.2.12jun06.tgz) = e93ca7125ff8b3fa4db54d5996b387a13e45a3a6e6dab30246e50f7c5bf0efc0
|
||||
SIZE (scv-1.0p2-sysc2.2.12jun06.tgz) = 2266179
|
||||
12
cad/scv/files/patch-Makefile.in
Normal file
12
cad/scv/files/patch-Makefile.in
Normal file
@ -0,0 +1,12 @@
|
||||
--- Makefile.in.orig Sun Feb 12 16:36:40 2006
|
||||
+++ Makefile.in Tue Dec 19 09:12:09 2006
|
||||
@@ -483,8 +483,7 @@
|
||||
|
||||
@actual_install@ : scv_config.h
|
||||
${copyFiles} . ${includedir}/scv scv_config.h
|
||||
- for f in ${TEXTDOCS}; do cp ${srcdir}/$$f ${prefix}/$$f.scv; done
|
||||
- for f in ${TEXTDOCS}; do chmod u+w ${prefix}/$$f.scv; done
|
||||
+ for f in ${TEXTDOCS}; do ${INSTALL_DATA} ${srcdir}/$$f ${prefix}/$$f.scv; done
|
||||
|
||||
uninstall : uninstall-recursive
|
||||
for f in ${TEXTDOCS}; do rm -f ${prefix}/$$f.scv; done
|
||||
49
cad/scv/files/patch-configure
Normal file
49
cad/scv/files/patch-configure
Normal file
@ -0,0 +1,49 @@
|
||||
--- configure.orig Mon Jan 23 11:31:20 2006
|
||||
+++ configure Sat Dec 16 11:56:59 2006
|
||||
@@ -3647,7 +3647,7 @@
|
||||
echo "$as_me:$LINENO: checking \"for supported operating system\"" >&5
|
||||
echo $ECHO_N "checking \"for supported operating system\"... $ECHO_C" >&6
|
||||
case "$target_os" in
|
||||
-solaris2.5*|solaris2.6|solaris2.7|solaris2.8|hpux11*|linux-gnu)
|
||||
+solaris2.5*|solaris2.6|solaris2.7|solaris2.8|hpux11*|linux-gnu|freebsd*)
|
||||
echo "$as_me:$LINENO: result: $target_os is supported" >&5
|
||||
echo "${ECHO_T}$target_os is supported" >&6;;
|
||||
*)
|
||||
@@ -5604,10 +5604,6 @@
|
||||
#define _USE_PADDING_ON_STRUCTS
|
||||
_ACEOF
|
||||
|
||||
- cat >>confdefs.h <<\_ACEOF
|
||||
-#define _USE_HASH_MAP
|
||||
-_ACEOF
|
||||
-
|
||||
fi
|
||||
|
||||
|
||||
@@ -5639,7 +5635,7 @@
|
||||
using namespace std;
|
||||
#include <string>
|
||||
#include <stdio.h>
|
||||
-#include <strstream.h>
|
||||
+#include <sstream>
|
||||
int main()
|
||||
{
|
||||
#define STRING_SIZE 100
|
||||
@@ -5651,7 +5647,7 @@
|
||||
exit(1);
|
||||
}
|
||||
|
||||
- ostrstream outString(buf, STRING_SIZE);
|
||||
+ ostringstream outString;
|
||||
outString << "hello world " << i;
|
||||
if (strcmp(buf,"hello world 1") != 0)
|
||||
{
|
||||
@@ -5870,6 +5866,8 @@
|
||||
*linux*)
|
||||
if test "$rh_gxx_prog" = "no"; then EXTRA_GNU_DIR="/gnu"; fi
|
||||
SYSC_TARGET="linux";;
|
||||
+ *freebsd*)
|
||||
+ SYSC_TARGET="freebsd";;
|
||||
*cygwin*)
|
||||
SYSC_TARGET="cygwin";;
|
||||
*hpux11*)
|
||||
20
cad/scv/files/patch-scripts-Makefile.in
Normal file
20
cad/scv/files/patch-scripts-Makefile.in
Normal file
@ -0,0 +1,20 @@
|
||||
--- scripts/Makefile.in.orig Mon Jan 23 11:31:10 2006
|
||||
+++ scripts/Makefile.in Sat Dec 16 11:32:28 2006
|
||||
@@ -243,7 +243,7 @@
|
||||
|
||||
create_copiers :
|
||||
# create copyDir.sh
|
||||
- echo "#!/bin/sh -h" >copyDir.sh
|
||||
+ echo "#!/bin/sh" >copyDir.sh
|
||||
echo "overwrite=${overwrite_files}" >>copyDir.sh
|
||||
cat ${srcdir}/copyDir.sh.in >>copyDir.sh
|
||||
# create copyExamples.sh
|
||||
@@ -251,7 +251,7 @@
|
||||
cp ${srcdir}/copyExamples.sh .; \
|
||||
fi
|
||||
# create copyFiles.sh
|
||||
- echo "#!/bin/sh -h" >copyFiles.sh
|
||||
+ echo "#!/bin/sh" >copyFiles.sh
|
||||
echo "overwrite=${overwrite_files}" >>copyFiles.sh
|
||||
cat ${srcdir}/copyFiles.sh.in >>copyFiles.sh
|
||||
# set permissions
|
||||
26
cad/scv/files/patch-scripts-copyExamples.sh
Normal file
26
cad/scv/files/patch-scripts-copyExamples.sh
Normal file
@ -0,0 +1,26 @@
|
||||
--- scripts/copyExamples.sh.orig Thu Aug 7 08:38:02 2003
|
||||
+++ scripts/copyExamples.sh Sat Dec 16 14:51:22 2006
|
||||
@@ -1,4 +1,4 @@
|
||||
-#!/bin/sh -h
|
||||
+#!/bin/sh
|
||||
|
||||
# copyExamples.sh <srcdir> <dstdir>
|
||||
|
||||
@@ -37,15 +37,13 @@
|
||||
for f in *[chp] *.v* *.tcl README; do
|
||||
if test -r $f; then
|
||||
rm -f $dstdir/$f
|
||||
- cp $f $dstdir
|
||||
- chmod u+w $dstdir/$f
|
||||
+ install -m 644 $f $dstdir
|
||||
fi
|
||||
done
|
||||
# only copy Makefile in leaf dirs
|
||||
if test -r Makefile -a $isleaf = "yes"; then
|
||||
rm -f $dstdir/Makefile
|
||||
- cp Makefile $dstdir
|
||||
- chmod u+w $dstdir/Makefile
|
||||
+ install -m 644 Makefile $dstdir
|
||||
fi
|
||||
|
||||
fi
|
||||
11
cad/scv/files/patch-scripts-copyFiles.sh.in
Normal file
11
cad/scv/files/patch-scripts-copyFiles.sh.in
Normal file
@ -0,0 +1,11 @@
|
||||
--- scripts/copyFiles.sh.in.orig Thu Aug 7 08:38:02 2003
|
||||
+++ scripts/copyFiles.sh.in Sat Dec 16 14:51:43 2006
|
||||
@@ -7,7 +7,7 @@
|
||||
cmd="ln -s"
|
||||
shift
|
||||
else
|
||||
- cmd="cp"
|
||||
+ cmd="install -m 644"
|
||||
fi
|
||||
|
||||
srcdir=$1
|
||||
11
cad/scv/files/patch-src-scv-scv_init_seed.cpp
Normal file
11
cad/scv/files/patch-src-scv-scv_init_seed.cpp
Normal file
@ -0,0 +1,11 @@
|
||||
--- src/scv/scv_init_seed.cpp.orig Thu Aug 7 08:37:32 2003
|
||||
+++ src/scv/scv_init_seed.cpp Sat Dec 16 11:43:50 2006
|
||||
@@ -44,7 +44,7 @@
|
||||
|
||||
#include <string.h>
|
||||
|
||||
-#ifdef __linux__
|
||||
+#if defined(__linux__) || defined(__FreeBSD__)
|
||||
# include <sys/time.h>
|
||||
#else
|
||||
#include <time.h>
|
||||
7
cad/scv/pkg-descr
Normal file
7
cad/scv/pkg-descr
Normal file
@ -0,0 +1,7 @@
|
||||
The SystemC Verification (SCV) library is an extension library to SystemC
|
||||
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/
|
||||
Loading…
Reference in New Issue
Block a user