Hello, Could you tell us the version of the Docker image you are using? Doing something like:
docker images or docker ps # while the docker container is running should show the image name and tag. -- Cheers, Luke -- Luke Mondy, Systems Administrator, Trustworthy Systems | DATA61 | CSIRO P +61 2 9490 5773 | https://ts.data61.csiro.au On Sat, 2019-11-02 at 17:16 -0700, Jacob Yu wrote: > Hi > > I am building "seL4test" using the Docker image on Ubuntu 18.04.3 > LTS, a 64-bit system. After entering "../init-build.sh > -DPLATFORM=x86_64 -DSIMULATION=TRUE" in a build directory within > Docker it complained "Could NOT find NANOPB (missing: > PROTOBUF_PROTOC_EXECUTABLE)". I wonder should I manually download > and install protocol buffer compiler, protoc? > > Please advise. > > Thank for your help. > > Jacob > =============================================== > loading initial cache file /host/projects/sel4test/settings.cmake > correct_platform_strings: Attempting to correct PLATFORM: x86_64 > to new valid KernelPlatform: pc99 > KernelSel4Arch: x86_64 > -- Found seL4: /host/kernel > -- The C compiler identification is GNU 6.5.0 > -- The CXX compiler identification is GNU 6.5.0 > -- The ASM compiler identification is GNU > -- Found assembler: /usr/bin/gcc > -- Check for working C compiler: /usr/bin/gcc > -- Check for working C compiler: /usr/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: /usr/bin/g++ > -- Check for working CXX compiler: /usr/bin/g++ -- works > -- Detecting CXX compiler ABI info > -- Detecting CXX compiler ABI info - done > -- Detecting CXX compile features > -- Detecting CXX compile features - done > -- Found elfloader-tool: /host/tools/seL4/elfloader-tool > -- Found musllibc: /host/projects/musllibc > -- Found util_libs: /host/projects/util_libs > -- Found seL4_libs: /host/projects/seL4_libs > -- Found sel4_projects_libs: /host/projects/sel4_projects_libs > -- Found sel4runtime: /host/projects/sel4runtime > -- Performing Test compiler_arch_test > -- Performing Test compiler_arch_test - Success > -- Found PythonInterp: /usr/bin/python (found version "2.7.15") > -- Could NOT find NANOPB (missing: PROTOBUF_PROTOC_EXECUTABLE) > -- CPIO test cpio_reproducible_flag PASSED > -- Configuring done > -- Generating done > -- Build files have been written to: /host/build-x86 > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
