Closed utensil closed 3 months ago
The updates involve significant improvements to the CI/CD pipeline on GitHub, introducing platform-specific configurations and optimizations for building and testing on Ubuntu, macOS, and Windows. Additionally, new scripts and patches enhance the build process, especially for Windows, and a new workflow clears the repository cache on demand.
File Path | Change Summary |
---|---|
.github/workflows/ci.yml |
Conditional runs, platform-specific setup, elan and msys2 toolchain installation, shell configuration, and build/upload modifications. |
.github/workflows/clear_cache.yml |
New workflow to clear repository cache on manual trigger using actions/github-script . |
README.md |
Removed GiNaC build/check scripts, updated development instructions, and removed unnecessary commands. |
lakefile.lean |
Platform-specific build logic for Windows, updated copyLibJob , libcln , libginac , and libginac_ffi targets. |
scripts/build_cln.sh |
Improved script organization, Windows compatibility patches, updated configure and libtool settings. |
scripts/build_ginac.sh |
Updated shebang, variable assignments, sourced configuration, and added Windows-specific logic. |
scripts/check_ginac.sh |
Improved portability with updated shebang and sourcing method. |
scripts/config.sh |
Enhanced configuration handling, added functions for warnings, downloads, and patches, Windows-specific patches. |
scripts/fix-clang_rt-for-mingw.patch |
Modified libtool to correctly identify Clang's internal compiler libraries for Windows. |
scripts/fix-linker-scripts-for-mingw.patch |
Prioritized response files over linker scripts for mingw tools, enhancing compatibility with lld. |
In the realm of code, a rabbit hops, Through scripts and builds, it never stops. 🐇 On Windows, macOS, and Ubuntu too, It crafts the CI, both old and new. With patches and scripts, it clears the way, For seamless builds, day by day. 🌟
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?
Summary by CodeRabbit
New Features
Improvements
Documentation
Bug Fixes