Vagrant Cascadian schreef op di 11-05-2021 om 15:15 [-0700]:
> +       #:make-flags (list
> +                     "CROSS_COMPILE=or1k-elf-"
> +                     "DEBUG=1"
> +                     "HOSTCC=gcc"
> +                     "HOSTAR=ar"
> +                     "HOST_COMPILE=aarch64-linux-gnu-"
> +                     "LEX=flex")

IIUC, CROSS_COMPILE is the system Crust will run on, and HOST_COMPILE
is the system where Crust is compiled. So shouldn't HOST_COMPILE be

  (string-append (nix-system->gnu-triplet (%current-system)) "-")

such that Crust can be cross-compiled from non-aarch64 or non-linux systems?

Greetings,
Maxime.