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

9 files changed, 181 insertions, 0 deletions

diff --git a/cad/scv/Makefile b/cad/scv/Makefile
new file mode 100644
index 000000000000..9a3a1829bd64
--- /dev/null
+++ b/cad/scv/Makefile
@@ -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>
diff --git a/cad/scv/distinfo b/cad/scv/distinfo
new file mode 100644
index 000000000000..a5079c91a7aa
--- /dev/null
+++ b/cad/scv/distinfo
@@ -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
diff --git a/cad/scv/files/patch-Makefile.in b/cad/scv/files/patch-Makefile.in
new file mode 100644
index 000000000000..ad5a65902ee8
--- /dev/null
+++ b/cad/scv/files/patch-Makefile.in
@@ -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

diff --git a/cad/scv/files/patch-configure b/cad/scv/files/patch-configure
new file mode 100644
index 000000000000..5383e89ce150
--- /dev/null
+++ b/cad/scv/files/patch-configure
@@ -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*)
diff --git a/cad/scv/files/patch-scripts-Makefile.in b/cad/scv/files/patch-scripts-Makefile.in
new file mode 100644
index 000000000000..8eec2ab0b320
--- /dev/null
+++ b/cad/scv/files/patch-scripts-Makefile.in
@@ -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
diff --git a/cad/scv/files/patch-scripts-copyExamples.sh b/cad/scv/files/patch-scripts-copyExamples.sh
new file mode 100644
index 000000000000..8d80aeecfa30
--- /dev/null
+++ b/cad/scv/files/patch-scripts-copyExamples.sh
@@ -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
diff --git a/cad/scv/files/patch-scripts-copyFiles.sh.in b/cad/scv/files/patch-scripts-copyFiles.sh.in
new file mode 100644
index 000000000000..b9822ad8fe08
--- /dev/null
+++ b/cad/scv/files/patch-scripts-copyFiles.sh.in
@@ -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
diff --git a/cad/scv/files/patch-src-scv-scv_init_seed.cpp b/cad/scv/files/patch-src-scv-scv_init_seed.cpp
new file mode 100644
index 000000000000..068a00481316
--- /dev/null
+++ b/cad/scv/files/patch-src-scv-scv_init_seed.cpp
@@ -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>
diff --git a/cad/scv/pkg-descr b/cad/scv/pkg-descr
new file mode 100644
index 000000000000..fa46c1636d2a
--- /dev/null
+++ b/cad/scv/pkg-descr
@@ -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/