Allow to choose build options to accelerate build in PR - Githubissues

stack-of-tasks / pinocchio

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

http://stack-of-tasks.github.io/pinocchio/

BSD 2-Clause "Simplified" License

1.67k stars 357 forks source link

Allow to choose build options to accelerate build in PR #2251

Open jorisv opened 1 month ago

jorisv commented 1 month ago

When building Pinocchio 3 with all options activated CI can last up to 4h. We should find a way to optionally activate build options.

This can be done by using label on a pull request:

build_with_all: All options
build_with_collision: BUILD_WITH_COLLISION_SUPPORT
build_with_urdf: BUILD_WITH_URDF_SUPPORT
build_with_sdf: BUILD_WITH_SDF_SUPPORT
build_with_autodiff: BUILD_WITH_AUTODIFF_SUPPORT
build_with_casadi: BUILD_WITH_CASADI_SUPPORT
build_with_codegen: BUILD_WITH_CODEGEN_SUPPORT
build_with_mpfr: BUILD_PYTHON_BINDINGS_WITH_BOOST_MPFR_SUPPORT
build_with_openmp: BUILD_WITH_OPENMP_SUPPORT
build_with_extra: BUILD_WITH_EXTRA_SUPPORT
build_with_accelerate: BUILD_WITH_ACCELERATE_SUPPORT

PR should be run with minimal options, and build_with_all should be activated before merging.