I thought I got all of the host dependencies installed, but evidently I am
doing something wrong. I am building on Debian 9 (x86_64) system. I ran
the init script from the build directory with the -DPLATFORM=x86_64 and
-DSIMULATION=0 options. I then ran ninja with no options. Please find
attached the output of running these 2 steps. I'd appreciate a gentle nudge
in the right direction.
Thanks!
Dave
-- The C compiler identification is GNU 6.3.0
-- The CXX compiler identification is GNU 6.3.0
-- Check for working C compiler: /home/drichards/gnu/bin/gcc
-- Check for working C compiler: /home/drichards/gnu/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /home/drichards/gnu/bin/g++
-- Check for working CXX compiler: /home/drichards/gnu/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is GNU
-- Found assembler: /home/drichards/gnu/bin/gcc
-- Performing test HARD_FLOAT with flags -mfloat-abi=hard
-- Test HARD_FLOAT FAILED
-- Performing test SOFTFP_FLOAT with flags -mfloat-abi=softfp
-- Test SOFTFP_FLOAT FAILED
CMake Warning at tools/seL4/cmake-tool/flags.cmake:123 (message):
Kernel supports hardware floating point but toolchain does not
Call Stack (most recent call first):
tools/seL4/cmake-tool/base.cmake:58 (include)
tools/seL4/cmake-tool/all.cmake:18 (include)
CMakeLists.txt:21 (include)
-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build
-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build
-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build
[1/218] Generate dummy headers for prune compilation
[2/218] Creating C input file for preprocessor
[3/218] Building C object
libsel4/CMakeFiles/libsel4_shared_types_gen_pbf_temp_lib.dir/libsel4_shared_types_gen_pbf_temp.c.obj
[4/218] Generating generated/shared_types_gen/shared_types.pbf
[5/218] Generating from
/home/drichards/seL4test/build/libsel4/generated/shared_types_gen/shared_types.pbf
FAILED: libsel4/include/sel4/shared_types_gen.h
cd /home/drichards/seL4test/build/libsel4 && python
/home/drichards/seL4test/kernel/tools/bitfield_gen.py --environment libsel4
/home/drichards/seL4test/build/libsel4/generated/shared_types_gen/shared_types.pbf
/home/drichards/seL4test/build/libsel4/include/sel4/shared_types_gen.h
Traceback (most recent call last):
File "/home/drichards/seL4test/kernel/tools/bitfield_gen.py", line 31, in
<module>
import lex
File "/home/drichards/seL4test/kernel/tools/lex.py", line 46, in <module>
from past.builtins import cmp
ImportError: No module named past.builtins
[6/218] Generate invocation header gen_headers/arch/api/sel4_invocation.h
[7/218] Generate invocation header gen_headers/api/invocation.h
[8/218] Concatenating C files
[9/218] Generate invocation header gen_headers/arch/api/invocation.h
[10/218] Generate syscall invocations
ninja: build stopped: subcommand failed.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
