Skip to content

Make jrl_configure_default_install_dirs a macro for GNUInstallDirs scope - #857

Merged
nim65s merged 2 commits into
jrl-umi3218:masterfrom
ahoarau:gnu-install-dirs-macro-fix
Aug 7, 2026
Merged

Make jrl_configure_default_install_dirs a macro for GNUInstallDirs scope#857
nim65s merged 2 commits into
jrl-umi3218:masterfrom
ahoarau:gnu-install-dirs-macro-fix

Commits

Commits on Aug 7, 2026