Comments (2)
Dear Vijay,
It's great to hear that you succeeded in building and running CheriBSD with cheribuild.
I apologize for the instability over the past few weeks/months. We have been trying to add support for RISC-V and been testing MIPS less in the process. This has resulted in various unnecessary build failures.
By instability, do you mean instability of cheribuild itself? Or the projects being built with cheribuild?
For the dependent projects, I have been trying to improve our continuous integration to allow better pre-merge checks on pull requests. This should result in fewer build failures.
For some of our projects we have already moved to a model where larger changes use a dedicated branch (e.g. I always make larger changes to LLVM in the dev branch).
I agree that moving to a model where our master branches are generally stable is desirable. However, this will require further changes to our continuous integration system.
The current phase of large breaking changes should be over now and all branches will be more stable. Nevertheless, there are many configuration options that can be set and we can't test all combinations but the default cheribuild settings should be supported.
As our CI capacity is limited we can't guarantee that all targets will be always be compilable (changes in system headers may result in build breakage of some dependent target such as WebKit or Postgres).
However, we will try our best to ensure that it is always possible to build and run CheriBSD.
We will continue to work on improving stability. The current state is as follows:
- QEMU: I generally run the test suite before pushing, so the master branch should be stable.
- LLVM: master should be stable and all commits that break tests will be reverted. However, it is possible that newly added warnings result in
-Werror
build failures for other targets. Therefore all merges that introduce new warnings remain in the dev branch and are never merged before at least CheriBSD compiles. - CheriBSD: Pull requests now run in jenkins for all supported targets before being merged, so general stability should be a lot better now.
from cheribuild.
We are using dev branches for cheribsd/llvm/qemu, so this should be fixed now.
from cheribuild.
Related Issues (20)
- FAILED: tests/qht-bench when run ./cheribuild.py sdk-riscv64-purecap HOT 3
- Building cheribsd-morello-purecap on macOS (Aarch64) HOT 6
- Failing freebsd and cheribsd builds on macOS. pkg-config --exists libarchive HOT 1
- freebsd-aarch64 on macOS Ventura HOT 5
- Fails to build on CheriBSD 14.0 on Morello platform HOT 3
- Building -morello-purecap targets on a Morello system should suggest -native
- Build error - cheribuild.py cheribsd-aarch64 -d HOT 2
- Error in cross compilation HOT 7
- gcc-arm-none-eabi-9-2020-q2-update-x86_64-linux.tar.bz2 checksum mismatch HOT 4
- About Rebuilding Images HOT 2
- Failed when build pkg-riscv64-purecap HOT 2
- Stuck synthesizing Cheri on AWS F1 Ubuntu 18.04
- How to enable caprevoke feature and build freeBSD with it? HOT 6
- Re-enable lib32 by default (and remove option?)
- Switch to new Morello ABI
- Being asked for a password to login as root on SSH HOT 3
- Switch parity of --cheribsd/caprevoke-kernel HOT 1
- Failed to invoke compiler in order to build my own code targeting RISC-V purecap on cheriBSD HOT 1
- How to enable caprevoke in cheribsd? HOT 2
- GMP mercurial host blocks certain IP ranges HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cheribuild.