Hi
I am able to install & build "riscv-pk" and "riscv-isa-sim", and then try
out Spike. Many thank!
> ./configure --prefix=/opt/riscv --enable-multilib
> sudo make linux
Otherwise, I also tried to enable "multilib" when building
"riscv-gnu-toolchain" but with no luck. It complained:
> ...
> configure: error: in
`/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp':
> configure: error: C compiler cannot create executables
And make failed with:
> Makefile:13703: recipe for target 'configure-target-libgomp' failed
> make[2]: *** [configure-target-libgomp] Error 1
Again, any suggestions?
Regards,
Jacob
============================================================
...
checking for riscv64-unknown-linux-gnu-gcc...
/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/./gcc/xgcc
-B/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/./gcc/
-B/opt/riscv/riscv64-unknown-linux-gnu/bin/
-B/opt/riscv/riscv64-unknown-linux-gnu/lib/ -isystem
/opt/riscv/riscv64-unknown-linux-gnu/include -isystem
/opt/riscv/riscv64-unknown-linux-gnu/sys-include -march=rv32imac
-mabi=ilp32
*checking whether the C compiler works... noconfigure: error: in
`/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp':configure:
error: C compiler cannot create executablesSee `config.log' for more
details*
*Makefile:13703: recipe for target 'configure-target-libgomp'
failedmake[2]: *** [configure-target-libgomp] Error 1*
make[2]: Leaving directory
'/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2'
Makefile:951: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory
'/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2'
Makefile:304: recipe for target 'stamps/build-gcc-linux-stage2' failed
make: *** [stamps/build-gcc-linux-stage2] Error 2
On Mon, Nov 11, 2019 at 5:52 PM Zhuang, Siwei (Data61, Kensington NSW) <
[email protected]> wrote:
> No, building riscv-isa-sim alone is sufficient if you only need Spike.
>
> seL4 also generates a script called "simulate" in the your build directory.
> The script invokes qemu for simulation.
>
> Regards,
> Siwei
>
> On Mon, 2019-11-11 at 17:20 -0800, Jacob Yu wrote:
> > Thanks, Siwei for the info. I'll give it a try.
> >
> > > Running seL4 no longer requires RISC-V tools. In case you want to use
> > Spike,
> > > I'd suggest building the riscv-isa-sim separately to get the latest
> code.
> >
> > Does this require RISC-V tools to build?
> >
> > Best,
> >
> >
> > Jacob
> >
> > On Sun, Nov 10, 2019 at 10:58 PM Zhuang, Siwei (Data61, Kensington NSW) <
> > [email protected]> wrote:
> >
> > > Hi Jacob,
> > >
> > > You need to enable multilib when building "riscv-gnu-toolchain".
> > >
> > > ./configure --prefix=/path-to-install-toolchain --enable-multilib
> > > then
> > > make or make linux
> > >
> > > Running seL4 no longer requires RISC-V tools. In case you want to use
> > > Spike,
> > > I'd suggest building the riscv-isa-sim separately to get the latest
> code.
> > >
> > > Regards,
> > > Siwei
> > >
> > > On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote:
> > > > Hi
> > > >
> > > > I am trying to build "seL4 tests" for "Spike" platform (the RISC-V
> > > > simulator from UC Berkeley) on Ubuntu 18.04.3 LTS, a 64-bit system.
> > > >
> > > > First of all, I was able to build RISC-V tools with "build.sh" after
> > > > manually installing "riscv-gnu-toolchain" from GitHub as well as
> > > additional
> > > > python modules (future, ply, protobuf). I then kicked of
> > > "../init-build.sh
> > > > -DPLATFORM=spike -DRISCV64=TRUE -DSIMULATION=1" from local build
> > > directory.
> > > > After that, however, "ninja" command complained about "undefined
> > > reference
> > > > to `__nedf2'". I understand there is no FPU support in "Spike"
> platform
> > > so
> > > > a need for "soft-float" module. Where should I specify "-lsoft-fp"?
> > > >
> > > > Any suggestions?
> > > >
> > > > Thanks,
> > > >
> > > >
> > > > Jacob
> > > > _______________________________________________
> > > > Devel mailing list
> > > > [email protected]
> > > > https://sel4.systems/lists/listinfo/devel
>
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by riscv-toolchain configure 1.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure --prefix=/opt/riscv --enable-multilib
## --------- ##
## Platform. ##
## --------- ##
hostname = Yunix
uname -m = x86_64
uname -r = 4.15.0-66-generic
uname -s = Linux
uname -v = #75-Ubuntu SMP Tue Oct 1 05:24:09 UTC 2019
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = unknown
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel = unknown
/bin/universe = unknown
PATH: /home/webuser/Dev/cmake/cmake-3.15.5-Linux-x86_64/bin
PATH: /opt/riscv/bin
PATH: /home/webuser/Dev/swift/swift-4.1.1-RELEASE-ubuntu16.04/usr/bin
PATH: .
PATH: /home/webuser/.local/bin
PATH: .
PATH: /home/webuser/bin
PATH: /usr/local/sbin
PATH: /usr/local/bin
PATH: /usr/sbin
PATH: /usr/bin
PATH: /sbin
PATH: /bin
PATH: /usr/games
PATH: /usr/local/games
PATH: /snap/bin
## ----------- ##
## Core tests. ##
## ----------- ##
configure:1926: checking for gcc
configure:1942: found /usr/bin/gcc
configure:1953: result: gcc
configure:2182: checking for C compiler version
configure:2191: gcc --version >&5
gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0
Copyright (C) 2017 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.
configure:2202: $? = 0
configure:2191: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 7.4.0-1ubuntu1~18.04.1' --with-bugurl=file:///usr/share/doc/gcc-7/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-7 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 7.4.0 (Ubuntu 7.4.0-1ubuntu1~18.04.1)
configure:2202: $? = 0
configure:2191: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:2202: $? = 1
configure:2191: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'; did you mean '--version'?
gcc: fatal error: no input files
compilation terminated.
configure:2202: $? = 1
configure:2222: checking whether the C compiler works
configure:2244: gcc conftest.c >&5
configure:2248: $? = 0
configure:2296: result: yes
configure:2299: checking for C compiler default output file name
configure:2301: result: a.out
configure:2307: checking for suffix of executables
configure:2314: gcc -o conftest conftest.c >&5
configure:2318: $? = 0
configure:2340: result:
configure:2362: checking whether we are cross compiling
configure:2370: gcc -o conftest conftest.c >&5
configure:2374: $? = 0
configure:2381: ./conftest
configure:2385: $? = 0
configure:2400: result: no
configure:2405: checking for suffix of object files
configure:2427: gcc -c conftest.c >&5
configure:2431: $? = 0
configure:2452: result: o
configure:2456: checking whether we are using the GNU C compiler
configure:2475: gcc -c conftest.c >&5
configure:2475: $? = 0
configure:2484: result: yes
configure:2493: checking whether gcc accepts -g
configure:2513: gcc -c -g conftest.c >&5
configure:2513: $? = 0
configure:2554: result: yes
configure:2571: checking for gcc option to accept ISO C89
configure:2634: gcc -c -g -O2 conftest.c >&5
configure:2634: $? = 0
configure:2647: result: none needed
configure:2667: checking for grep that handles long lines and -e
configure:2725: result: /bin/grep
configure:2730: checking for fgrep
configure:2792: result: /bin/grep -F
configure:2797: checking for grep that handles long lines and -e
configure:2855: result: /bin/grep
configure:2863: checking for bash
configure:2894: result: /bin/bash
configure:2965: checking for __gmpz_init in -lgmp
configure:2990: gcc -o conftest -g -O2 conftest.c -lgmp >&5
configure:2990: $? = 0
configure:2999: result: yes
configure:3012: checking for mpfr_init in -lmpfr
configure:3037: gcc -o conftest -g -O2 conftest.c -lmpfr -lgmp >&5
configure:3037: $? = 0
configure:3046: result: yes
configure:3059: checking for mpc_init2 in -lmpc
configure:3084: gcc -o conftest -g -O2 conftest.c -lmpc -lmpfr -lgmp >&5
configure:3084: $? = 0
configure:3093: result: yes
configure:3116: checking for curl
configure:3134: found /usr/bin/curl
configure:3147: result: /usr/bin/curl
configure:3157: checking for wget
configure:3175: found /usr/bin/wget
configure:3188: result: /usr/bin/wget
configure:3198: checking for ftp
configure:3216: found /usr/bin/ftp
configure:3229: result: /usr/bin/ftp
configure:3764: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by riscv-toolchain config.status 1.0, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on Yunix
config.status:754: creating Makefile
config.status:754: creating scripts/wrapper/awk/awk
config.status:754: creating scripts/wrapper/sed/sed
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_c_compiler_gnu=yes
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_LIBS_set=
ac_cv_env_LIBS_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_lib_gmp___gmpz_init=yes
ac_cv_lib_mpc_mpc_init2=yes
ac_cv_lib_mpfr_mpfr_init=yes
ac_cv_objext=o
ac_cv_path_BASH=/bin/bash
ac_cv_path_CURL=/usr/bin/curl
ac_cv_path_FGREP='/bin/grep -F'
ac_cv_path_FTP=/usr/bin/ftp
ac_cv_path_GAWK=/usr/bin/gawk
ac_cv_path_GREP=/bin/grep
ac_cv_path_GSED=/bin/sed
ac_cv_path_WGET=/usr/bin/wget
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
## ----------------- ##
## Output variables. ##
## ----------------- ##
BASH='/bin/bash'
CC='gcc'
CFLAGS='-g -O2'
CPPFLAGS=''
CURL='/usr/bin/curl'
DEFS='-DPACKAGE_NAME=\"riscv-toolchain\" -DPACKAGE_TARNAME=\"riscv-toolchain\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"riscv-toolchain\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DHAVE_LIBGMP=1 -DHAVE_LIBMPFR=1 -DHAVE_LIBMPC=1'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EXEEXT=''
FETCHER='/usr/bin/curl -L -o - --ftp-pasv --retry 10'
FGREP='/bin/grep -F'
FTP='/usr/bin/ftp'
GAWK='/usr/bin/gawk'
GREP='/bin/grep'
GSED='/bin/sed'
LDFLAGS=''
LIBOBJS=''
LIBS='-lmpc -lmpfr -lgmp '
LTLIBOBJS=''
NEED_GCC_EXTERNAL_LIBRARIES='false'
OBJEXT='o'
PACKAGE_BUGREPORT=''
PACKAGE_NAME='riscv-toolchain'
PACKAGE_STRING='riscv-toolchain 1.0'
PACKAGE_TARNAME='riscv-toolchain'
PACKAGE_URL=''
PACKAGE_VERSION='1.0'
PATH_SEPARATOR=':'
SHELL='/bin/bash'
WGET='/usr/bin/wget'
WITH_ABI='--with-abi=lp64d'
WITH_ARCH='--with-arch=rv64imafdc'
WITH_TUNE='--with-tune=rocket'
ac_ct_CC='gcc'
bindir='${exec_prefix}/bin'
build_alias=''
cmodel='-mcmodel=medlow'
configure_host=''
datadir='${datarootdir}'
datarootdir='${prefix}/share'
default_target='newlib'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
enable_gdb='--enable-gdb'
exec_prefix='${prefix}'
gcc_checking=''
glibc_multilib_names='rv32imac-ilp32 rv32imafdc-ilp32d rv64imac-lp64 rv64imafdc-lp64d'
host_alias=''
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
multilib_flags='--enable-multilib'
newlib_multilib_names='rv32i-ilp32 rv32iac-ilp32 rv32im-ilp32 rv32imac-ilp32 rv32imafc-ilp32f rv64imac-lp64 rv64imafdc-lp64d'
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/opt/riscv'
program_transform_name='s,x,x,'
psdir='${docdir}'
runstatedir='${localstatedir}/run'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sysconfdir='${prefix}/etc'
target_alias=''
target_cflags=''
target_cxxflags=''
with_binutils_src='$(srcdir)/riscv-binutils'
with_gcc_src='$(srcdir)/riscv-gcc'
with_gdb_src='$(srcdir)/riscv-gdb'
with_glibc_src='$(srcdir)/riscv-glibc'
with_guile=''
with_linux_headers_src='$(srcdir)/linux-headers/include'
with_musl_src='$(srcdir)/riscv-musl'
with_newlib_src='$(srcdir)/riscv-newlib'
with_system_zlib='--with-system-zlib'
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "riscv-toolchain"
#define PACKAGE_TARNAME "riscv-toolchain"
#define PACKAGE_VERSION "1.0"
#define PACKAGE_STRING "riscv-toolchain 1.0"
#define PACKAGE_BUGREPORT ""
#define PACKAGE_URL ""
#define HAVE_LIBGMP 1
#define HAVE_LIBMPFR 1
#define HAVE_LIBMPC 1
configure: exit 0
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
