SCV library installation

pkn_876 · November 3, 2016

Hi,

I wanted to install System C, following the instructions given in the INSTALL(readme).

I was successfully able to configure the package step5 in the INSTALL, i believe it went through successfully.

Here is the output.

======================================================================

checking build system type... x86_64-unknown-linux-gnu

checking host system type... x86_64-unknown-linux-gnu

checking target system type... x86_64-unknown-linux-gnu

checking for a BSD-compatible install... /usr/bin/install -c

checking whether build environment is sane... yes

checking for a thread-safe mkdir -p... /bin/mkdir -p

checking for gawk... gawk

checking whether make sets $(MAKE)... yes

checking whether make supports nested variables... yes

checking support 32-bit host compilation using 64-bit tools... no

checking for gcc... gcc

checking whether the C compiler works... yes

checking for C compiler default output file name... a.out

checking for suffix of executables...

checking whether we are cross compiling... no

checking for suffix of object files... o

checking whether we are using the GNU C compiler... yes

checking whether gcc accepts -g... yes

checking for gcc option to accept ISO C89... none needed

checking for style of include used by make... GNU

checking dependency style of gcc... none

checking whether we are using the GNU C++ compiler... yes

checking whether g++ accepts -g... yes

checking dependency style of g++... none

checking for the pthreads library -lpthreads... no

checking whether pthreads work without any flags... no

checking whether pthreads work with -Kthread... no

checking whether pthreads work with -kthread... no

checking for the pthreads library -llthread... no

checking whether pthreads work with -pthread... yes

checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE

checking if more special flags are required for pthreads... no

checking for PTHREAD_PRIO_INHERIT... no

checking how to print strings... printf

checking for a sed that does not truncate output... /bin/sed

checking for grep that handles long lines and -e... /bin/grep

checking for egrep... /bin/grep -E

checking for fgrep... /bin/grep -F

checking for ld used by gcc... /usr/bin/ld

checking if the linker (/usr/bin/ld) is GNU ld... yes

checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B

checking the name lister (/usr/bin/nm - interface... BSD nm

checking whether ln -s works... yes

checking the maximum length of command line arguments... 3458764513820540925

checking whether the shell understands some XSI constructs... yes

checking whether the shell understands "+="... yes

checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop

checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop

checking for /usr/bin/ld option to reload object files... -r

checking for objdump... objdump

checking how to recognize dependent libraries... pass_all

checking for dlltool... no

checking how to associate runtime and link libraries... printf %s\n

checking for ar... ar

checking for archiver @FILE support... @

checking for strip... strip

checking for ranlib... ranlib

checking command to parse /usr/bin/nm -B output from gcc object... ok

checking for sysroot... no

checking for mt... no

checking if : is a manifest tool... no

checking how to run the C preprocessor... gcc -E

checking for ANSI C header files... yes

checking for sys/types.h... yes

checking for sys/stat.h... yes

checking for stdlib.h... yes

checking for string.h... yes

checking for memory.h... yes

checking for strings.h... yes

checking for inttypes.h... yes

checking for stdint.h... yes

checking for unistd.h... yes

checking for dlfcn.h... yes

checking for objdir... .libs

checking if gcc supports -fno-rtti -fno-exceptions... no

checking for gcc option to produce PIC... -fPIC -DPIC

checking if gcc PIC flag -fPIC -DPIC works... yes

checking if gcc static flag -static works... yes

checking if gcc supports -c -o file.o... yes

checking if gcc supports -c -o file.o... (cached) yes

checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking whether -lc should be explicitly linked in... no

checking dynamic linker characteristics... GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking whether stripping libraries is possible... yes

checking if libtool supports shared libraries... yes

checking whether to build shared libraries... yes

checking whether to build static libraries... yes

checking how to run the C++ preprocessor... g++ -E

checking for ld used by g++... /usr/bin/ld -m elf_x86_64

checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes

checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking for g++ option to produce PIC... -fPIC -DPIC

checking if g++ PIC flag -fPIC -DPIC works... yes

checking if g++ static flag -static works... yes

checking if g++ supports -c -o file.o... yes

checking if g++ supports -c -o file.o... (cached) yes

checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes

checking dynamic linker characteristics... (cached) GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking make for GNU make... found 3.81 which is OK

checking for GNU ld... yes

checking for supported C++ compiler... gcc 4.4 is supported

checking for supported operating system... linux-gnu is supported

setting compiler flags for Linux/x86_64

setting compiler flags for g++

setting library options for g++ on Linux/x86_64

checking for working C++ compiler... ok

checking size of int... 4

checking size of long... 8

checking size of void *... 8

checking for /u/npatel/systemc-2.3.1/lib-linux64/libsystemc.a... yes

checking for /u/npatel/systemc-2.3.1/include/systemc.h... yes

checking for SystemC version... 2003001

checking for absolute path prefix and that it exists... yes, OK

checking whether documentation needs to be installed... yes

checking that generated files are newer than configure... done

configure: creating ./config.status

config.status: creating Makefile

config.status: creating docs/Makefile

config.status: creating docs/scv/Makefile

config.status: creating examples/Makefile

config.status: creating examples/data_structures/Makefile

config.status: creating examples/data_structures/scv_bag/Makefile

config.status: creating examples/data_structures/scv_sparse_array/Makefile

config.status: creating examples/extensions/Makefile

config.status: creating examples/extensions/ex_01_userdata/Makefile

config.status: creating examples/extensions/ex_02_enumdata/Makefile

config.status: creating examples/extensions/ex_03_nestdata/Makefile

config.status: creating examples/extensions/introspection1/Makefile

config.status: creating examples/extensions/private/Makefile

config.status: creating examples/general/Makefile

config.status: creating examples/general/hello/Makefile

config.status: creating examples/randomization/Makefile

config.status: creating examples/randomization/constraints/Makefile

config.status: creating examples/randomization/debug/Makefile

config.status: creating examples/randomization/ex_04_simplerand/Makefile

config.status: creating examples/randomization/ex_05_disablerand/Makefile

config.status: creating examples/randomization/ex_07_seedfile/Makefile

config.status: creating examples/randomization/ex_08_dist/Makefile

config.status: creating examples/randomization/ex_09_distrange/Makefile

config.status: creating examples/randomization/ex_10_basicconstraint/Makefile

config.status: creating examples/randomization/ex_11_softconstraint/Makefile

config.status: creating examples/randomization/ex_12_hier_constraint/Makefile

config.status: creating examples/randomization/ex_13_custom_next/Makefile

config.status: creating examples/randomization/pythagoras/Makefile

config.status: creating examples/transactions/Makefile

config.status: creating examples/transactions/overview/Makefile

config.status: creating src/Makefile

config.status: creating src/scv.pc

config.status: creating src/cudd/Makefile

config.status: creating src/cudd/2.3.0/Makefile

config.status: creating src/cudd/2.3.0/cudd/Makefile

config.status: creating src/cudd/2.3.0/cudd/doc/Makefile

config.status: creating src/cudd/2.3.0/cudd/doc/icons/Makefile

config.status: creating src/cudd/2.3.0/dddmp/Makefile

config.status: creating src/cudd/2.3.0/dddmp/doc/Makefile

config.status: creating src/cudd/2.3.0/mtr/Makefile

config.status: creating src/cudd/2.3.0/mtr/doc/Makefile

config.status: creating src/cudd/2.3.0/util/Makefile

config.status: creating src/cudd/2.3.0/st/Makefile

config.status: creating src/cudd/2.3.0/st/doc/Makefile

config.status: creating src/cudd/2.3.0/obj/Makefile

config.status: creating src/cudd/2.3.0/nanotrav/Makefile

config.status: creating src/cudd/2.3.0/nanotrav/doc/Makefile

config.status: creating src/cudd/2.3.0/mnemosyne/Makefile

config.status: creating src/cudd/2.3.0/sis/Makefile

config.status: creating src/scv/Makefile

config.status: creating config/config.h

config.status: config/config.h is unchanged

config.status: executing depfiles commands

config.status: executing libtool commands

==============================================================================================

Now when i try to do a make i get the below error:

Any suggestions?

----------------------------------------------------------------------------------------------------------------------------------------------------------

make[2]: Entering directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd'

Making all in 2.3.0

make[3]: Entering directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd/2.3.0'

Making all in cudd

make[4]: Entering directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd/2.3.0/cudd'

Makefile:503: .deps/libcudd_la-cuddAPI.Plo: No such file or directory

Makefile:504: .deps/libcudd_la-cuddAddAbs.Plo: No such file or directory

Makefile:505: .deps/libcudd_la-cuddAddApply.Plo: No such file or directory

Makefile:506: .deps/libcudd_la-cuddAddFind.Plo: No such file or directory

Makefile:507: .deps/libcudd_la-cuddAddInv.Plo: No such file or directory

Makefile:508: .deps/libcudd_la-cuddAddIte.Plo: No such file or directory

Makefile:509: .deps/libcudd_la-cuddAddNeg.Plo: No such file or directory

Makefile:510: .deps/libcudd_la-cuddAddWalsh.Plo: No such file or directory

Makefile:511: .deps/libcudd_la-cuddAndAbs.Plo: No such file or directory

Makefile:512: .deps/libcudd_la-cuddAnneal.Plo: No such file or directory

Makefile:513: .deps/libcudd_la-cuddApa.Plo: No such file or directory

Makefile:514: .deps/libcudd_la-cuddApprox.Plo: No such file or directory

Makefile:515: .deps/libcudd_la-cuddBddAbs.Plo: No such file or directory

Makefile:516: .deps/libcudd_la-cuddBddCorr.Plo: No such file or directory

Makefile:517: .deps/libcudd_la-cuddBddIte.Plo: No such file or directory

Makefile:518: .deps/libcudd_la-cuddBridge.Plo: No such file or directory

Makefile:519: .deps/libcudd_la-cuddCache.Plo: No such file or directory

Makefile:520: .deps/libcudd_la-cuddCheck.Plo: No such file or directory

Makefile:521: .deps/libcudd_la-cuddClip.Plo: No such file or directory

Makefile:522: .deps/libcudd_la-cuddCof.Plo: No such file or directory

Makefile:523: .deps/libcudd_la-cuddCompose.Plo: No such file or directory

Makefile:524: .deps/libcudd_la-cuddDecomp.Plo: No such file or directory

Makefile:525: .deps/libcudd_la-cuddEssent.Plo: No such file or directory

Makefile:526: .deps/libcudd_la-cuddExact.Plo: No such file or directory

Makefile:527: .deps/libcudd_la-cuddExport.Plo: No such file or directory

Makefile:528: .deps/libcudd_la-cuddGenCof.Plo: No such file or directory

Makefile:529: .deps/libcudd_la-cuddGenetic.Plo: No such file or directory

Makefile:530: .deps/libcudd_la-cuddGroup.Plo: No such file or directory

Makefile:531: .deps/libcudd_la-cuddHarwell.Plo: No such file or directory

Makefile:532: .deps/libcudd_la-cuddInit.Plo: No such file or directory

Makefile:533: .deps/libcudd_la-cuddInteract.Plo: No such file or directory

Makefile:534: .deps/libcudd_la-cuddLCache.Plo: No such file or directory

Makefile:535: .deps/libcudd_la-cuddLevelQ.Plo: No such file or directory

Makefile:536: .deps/libcudd_la-cuddLinear.Plo: No such file or directory

Makefile:537: .deps/libcudd_la-cuddLiteral.Plo: No such file or directory

Makefile:538: .deps/libcudd_la-cuddMatMult.Plo: No such file or directory

Makefile:539: .deps/libcudd_la-cuddPriority.Plo: No such file or directory

Makefile:540: .deps/libcudd_la-cuddRead.Plo: No such file or directory

Makefile:541: .deps/libcudd_la-cuddRef.Plo: No such file or directory

Makefile:542: .deps/libcudd_la-cuddReorder.Plo: No such file or directory

Makefile:543: .deps/libcudd_la-cuddSat.Plo: No such file or directory

Makefile:544: .deps/libcudd_la-cuddSign.Plo: No such file or directory

Makefile:545: .deps/libcudd_la-cuddSolve.Plo: No such file or directory

Makefile:546: .deps/libcudd_la-cuddSplit.Plo: No such file or directory

Makefile:547: .deps/libcudd_la-cuddSubsetHB.Plo: No such file or directory

Makefile:548: .deps/libcudd_la-cuddSubsetSP.Plo: No such file or directory

Makefile:549: .deps/libcudd_la-cuddSymmetry.Plo: No such file or directory

Makefile:550: .deps/libcudd_la-cuddTable.Plo: No such file or directory

Makefile:551: .deps/libcudd_la-cuddUtil.Plo: No such file or directory

Makefile:552: .deps/libcudd_la-cuddWindow.Plo: No such file or directory

Makefile:553: .deps/libcudd_la-cuddZddCount.Plo: No such file or directory

Makefile:554: .deps/libcudd_la-cuddZddFuncs.Plo: No such file or directory

Makefile:555: .deps/libcudd_la-cuddZddGroup.Plo: No such file or directory

Makefile:556: .deps/libcudd_la-cuddZddIsop.Plo: No such file or directory

Makefile:557: .deps/libcudd_la-cuddZddLin.Plo: No such file or directory

Makefile:558: .deps/libcudd_la-cuddZddMisc.Plo: No such file or directory

Makefile:559: .deps/libcudd_la-cuddZddPort.Plo: No such file or directory

Makefile:560: .deps/libcudd_la-cuddZddReord.Plo: No such file or directory

Makefile:561: .deps/libcudd_la-cuddZddSetop.Plo: No such file or directory

Makefile:562: .deps/libcudd_la-cuddZddSymm.Plo: No such file or directory

Makefile:563: .deps/libcudd_la-cuddZddUtil.Plo: No such file or directory

make[4]: *** No rule to make target `.deps/libcudd_la-cuddZddUtil.Plo'. Stop.

make[4]: Leaving directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd/2.3.0/cudd'

make[3]: *** [all-recursive] Error 1

make[3]: Leaving directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd/2.3.0'

make[2]: *** [all-recursive] Error 1

make[2]: Leaving directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src/cudd'

make[1]: *** [all-recursive] Error 1

make[1]: Leaving directory `/u/praveenk/wa/Atlantic_B0_rpf/Logic/sim/run/systemc/scv-2.0.0/scv-2.0.0/objdir/src'

make: *** [all-recursive] Error 1

--------------------------------------------------------------------------------------------------------------------------------------------------

Stephan Gerth · November 4, 2016

Hi,

can you please more information about your environment? Please also post the output of "make -v".

pkn_876 · November 4, 2016

Hi Sephan,

This is the output of make -v:

========================================

GNU Make 3.81

This is free software; see the source for copying conditions.

There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A

PARTICULAR PURPOSE.

This program built for x86_64-redhat-linux-gnu

=======================================

The OS i am running on is:

CentOS release 6.7

Thanks,

Praveen

aixeta · November 17, 2017

Hi there,

I have an exact same problem with Sephan, when i ran "make' command after do the config the error said like

"error: cannot convert 'sc_dt::sc_bv_base::value_type {aka bool}' to 'sc_dt::sc_logic_value_t' in return
{ this->initialize(); return this->_get_instance()->get_bit(i); } \"

I'm using centOS 7

3.10.0-693.5.2.el7.x86_64

and GCC Version

gcc version 4.8.5 20150623 (Red Hat 4.8.5-16) (GCC)

The scv that i used was "scv-2.0.0a-20161019 "

Do you have any suggestion?

here the full output

making all in sis
make[4]: Entering directory `/usr/local/scv-2.0.0/objdir/src/cudd/2.3.0/sis'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/cudd/2.3.0/sis'
make[4]: Entering directory `/usr/local/scv-2.0.0/objdir/src/cudd/2.3.0'
make[4]: Nothing to be done for `all-am'.
make[4]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/cudd/2.3.0'
make[3]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/cudd/2.3.0'
make[3]: Entering directory `/usr/local/scv-2.0.0/objdir/src/cudd'
make[3]: Nothing to be done for `all-am'.
make[3]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/cudd'
make[2]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/cudd'
Making all in scv
make[2]: Entering directory `/usr/local/scv-2.0.0/objdir/src/scv'
/bin/sh ../../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../../src/scv -I../../config  -I../../src -I../../../src -I../../../src/cudd/2.3.0/cudd -I../../../src/cudd/2.3.0/obj -I../../../src/cudd/2.3.0/util -I../../../src/cudd/2.3.0/mtr -I../../../src/cudd/2.3.0/st -I/usr/local/systemc-2.3.2/include  -Wall -Wformat -O2 -g -MT libscv_la-scv_constraint.lo -MD -MP -MF .deps/libscv_la-scv_constraint.Tpo -c -o libscv_la-scv_constraint.lo `test -f 'scv_constraint.cpp' || echo '../../../src/scv/'`scv_constraint.cpp
libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I../../../src/scv -I../../config -I../../src -I../../../src -I../../../src/cudd/2.3.0/cudd -I../../../src/cudd/2.3.0/obj -I../../../src/cudd/2.3.0/util -I../../../src/cudd/2.3.0/mtr -I../../../src/cudd/2.3.0/st -I/usr/local/systemc-2.3.2/include -Wall -Wformat -O2 -g -MT libscv_la-scv_constraint.lo -MD -MP -MF .deps/libscv_la-scv_constraint.Tpo -c ../../../src/scv/scv_constraint.cpp  -fPIC -DPIC -o .libs/libscv_la-scv_constraint.o
In file included from ../../../src/scv/scv_introspection.h:625:0,
                 from ../../../src/scv/scv_constraint.h:65,
                 from ../../../src/scv/scv_constraint.cpp:43:
../../../src/scv/_scv_introspection.h: In member function 'sc_dt::sc_logic_value_t scv_extensions<sc_dt::sc_bv_base>::get_bit(int) const':
../../../src/scv/_scv_introspection.h:552:66: error: cannot convert 'sc_dt::sc_bv_base::value_type {aka bool}' to 'sc_dt::sc_logic_value_t' in return
     { this->initialize(); return this->_get_instance()->get_bit(i); } \
                                                                  ^
../../../src/scv/_scv_introspection.h:573:3: note: in expansion of macro '_SCV_BIT_BASE_INTERFACE'
   _SCV_BIT_BASE_INTERFACE(type_name) \
   ^
../../../src/scv/_scv_introspection.h:577:1: note: in expansion of macro '_SCV_TAG_FINAL_COMPONENT'
 _SCV_TAG_FINAL_COMPONENT(sc_bv_base);
 ^
make[2]: *** [libscv_la-scv_constraint.lo] Error 1
make[2]: Leaving directory `/usr/local/scv-2.0.0/objdir/src/scv'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/usr/local/scv-2.0.0/objdir/src'
make: *** [all-recursive] Error 1

Stephan Gerth · November 17, 2017

Hi Aixeta,

this is already fixed in the upcoming release of the SCV. Meanwhile you can workaround by casting directly to sc_logic:

 sc_dt::sc_logic_value_t(this->_get_instance()->get_bit(i))

aixeta · November 20, 2017

Thank you sir @StS, It worked. I can install the scv and run the example.

Looking foward for the SCV upcoming release.

Stephan Gerth · December 11, 2017

Hi!

We have now released an updated version of SCV which should fix this issue for you.. You can find it here: http://accellera.org/downloads/standards/systemc

Sign In

SCV library installation

Recommended Posts

pkn_876

Link to comment

Share on other sites

Stephan Gerth

Link to comment

Share on other sites

pkn_876

Link to comment

Share on other sites

aixeta

Link to comment

Share on other sites

Stephan Gerth

Link to comment

Share on other sites

aixeta

Link to comment

Share on other sites

Stephan Gerth

Link to comment

Share on other sites

Join the conversation

Browse

Activity