nongnu: compcert: Fix a non-exhaustive match. (!22) · Merge requests · Nonguix / nonguix

jetomit requested to merge jetomit/nonguix:fix-compcert into master Apr 11, 2020

Without this guix pull fails on aarch64. Based on the installation guide I enabled all systems except mips64el. I tried running compcert on aarch64 and everything seems OK.

By the way, I noticed we use compcert’s arm-linux target and not arm-eabihf when compiling for armhf-linux, is there a reason for that or can we change it?

nongnu: compcert: Fix a non-exhaustive match.

Merge request reports