This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

CheriBSD - Error building Python and Nginx for morello-purecap

Hi there,

I'm having a issue building both Nginx and Python for the Morello platform with Pure Capability. The error messages are below:

Python:

./cheribuild.py python-morello-purecap
......
checking whether the C compiler works... no
configure: error: in `/home/ubuntu/cheri/build/python-morello-purecap-build':
configure: error: C compiler cannot create executables
See `config.log' for more details
make: *** [Makefile:1703: config.status] Error 77
Warning: 'nice make -j4 all' FD flags for <stdin> changed from 0x2 to 0x402 - resetting them.
Fatal error: Command `nice make -j4 all` failed with non-zero exit code 2

Nginx:

./cheribuild.py nginx-morello-purecap
......
checking for C compiler ... not found

/home/ubuntu/cheri/nginx/auto/configure: error: C compiler /home/ubuntu/cheri/output/morello-sdk/bin/clang -target aarch64-unknown-freebsd13 --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap -B/home/ubuntu/cheri/output/morello-sdk/bin -march=morello+c64 -mabi=purecap -femulated-tls is not found

Fatal error: Command `/home/ubuntu/cheri/nginx/auto/configure --without-pcre --without-http_rewrite_module --with-http_v2_module --with-http_ssl_module --without-http_gzip_module --without-http_rewrite_module --without-pcre --builddir=/home/ubuntu/cheri/build/nginx-morello-purecap-build --crossbuild=FreeBSD:12.0-CURRENT:mips '--with-cc-opt=-target aarch64-unknown-freebsd13 --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap -B/home/ubuntu/cheri/output/morello-sdk/bin -march=morello+c64 -mabi=purecap -femulated-tls -pedantic -Wno-gnu-statement-expression -Wno-flexible-array-extensions -Wno-format-pedantic -Werror=implicit-function-declaration -Werror=format -Werror=incompatible-pointer-types -Werror=cheri-capability-misuse -Werror=cheri-bitwise-operations -Werror=mips-cheri-prototypes -Werror=pass-failed -Wno-error=cheri-capability-misuse -Wno-error=sign-compare' '--with-ld-opt=-target aarch64-unknown-freebsd13 --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap -B/home/ubuntu/cheri/output/morello-sdk/bin -march=morello+c64 -mabi=purecap -femulated-tls' --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap --prefix=/opt/morello-purecap/nginx` failed with non-zero exit code 1

Any ideas?

Parents
  • Hmm, I was able to build nginx-morello-purecap yesterday without issue. Does:

    echo 'int main() {}' | /home/ubuntu/cheri/output/morello-sdk/bin/clang -target aarch64-unknown-freebsd13 --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap -B/home/ubuntu/cheri/output/morello-sdk/bin -march=morello+c64 -mabi=purecap -femulated-tls -x c -

    work? It sounds like your toolchain is broken somehow. I assume /home/ubuntu/cheri/output/rootfs-morello-purecap does exist given you've been running pure-capability Morello CheriBSD successfully?

Reply
  • Hmm, I was able to build nginx-morello-purecap yesterday without issue. Does:

    echo 'int main() {}' | /home/ubuntu/cheri/output/morello-sdk/bin/clang -target aarch64-unknown-freebsd13 --sysroot=/home/ubuntu/cheri/output/rootfs-morello-purecap -B/home/ubuntu/cheri/output/morello-sdk/bin -march=morello+c64 -mabi=purecap -femulated-tls -x c -

    work? It sounds like your toolchain is broken somehow. I assume /home/ubuntu/cheri/output/rootfs-morello-purecap does exist given you've been running pure-capability Morello CheriBSD successfully?

Children