Set install directories depending on target type#374

Merged

matekelemen merged 31 commits into

Jun 1, 2026

Commits on Jun 12, 2025

set install directories depending on target type
matekelemen
committed

Commits on Jun 13, 2025

Commits on May 28, 2026

Commits on May 29, 2026

the rocky docker image relies on /etc/bashrc??
matekelemen
committed
special treatment for pybind modules on windows
matekelemen
committed
kratos' rocky image needs /etc/local/bin, try sourcing /etc/profile instead of /etc/bashrc
matekelemen
committed
sh => bash
matekelemen
committed
give up on sourcing the fucking profile and extend PATH manually
matekelemen
committed
maybe the rocky image got silently updated?w
matekelemen
committed
yes, the rocky image did get silently updated, and python3.8 was replaced with python3.10, instead of installing the dev package for the system's default python3. wow. I'm never going to touch this…
matekelemen
committed
drop intel mpi from the CI
matekelemen
committed

Commits on Jun 1, 2026

trigger CI
matekelemen
committed