Jump to content
pkn_876

SCV library installation

Recommended Posts

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
--------------------------------------------------------------------------------------------------------------------------------------------------
 
 
 
 

 

Share this post


Link to post
Share on other sites
Hi Sephan,

 

This is the output of make -v:

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

GNU Make 3.81

Copyright © 2006  Free Software Foundation, Inc.

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

Share this post


Link to post
Share on other sites

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

 

Share this post


Link to post
Share on other sites

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))

 

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

×