Add PORTABLE option

Jakob Maljaars requested to merge fix-portable-flag into main

Merge request reports