This was resolved off-list, but for posterity: the issue was that the docker images were out of date.
-- Cheers, Luke -- Luke Mondy, Systems Administrator, Trustworthy Systems | DATA61 | CSIRO P +61 2 9490 5773 | https://ts.data61.csiro.au On Sun, 2019-11-03 at 23:26 +0000, Mondy, Luke (Data61, Kensington NSW) wrote: > 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
