Add ARM64 build support for Linux and macOS#772

bahnwaerter wants to merge 2 commits into

ultimate-pa:devultimate-pa/ultimate:devfrom

bahnwaerter:wip/mb/target-architecture-aarch64bahnwaerter/ultimate:wip/mb/target-architecture-aarch64Copy head branch name to clipboard