Closed hannesm closed 2 years ago
Such a change has been trickled through other MirageOS3 cross-compilation Makefiles as well. Also, use opam var prefix, not the deprecated opam config var prefix. This also allows clean NixOS compilation.
opam var prefix
opam config var prefix
Such a change has been trickled through other MirageOS3 cross-compilation Makefiles as well. Also, use
opam var prefix
, not the deprecatedopam config var prefix
. This also allows clean NixOS compilation.