Closed bgamari closed 1 year ago
@TerrorJack, perhaps you want to update any documentation that might reference ghc.nix
to refer to this new devShell
?
Sure, I'll update accordingly. This PR lgtm now.
FWIW, I have confirmed that this works and passes the testsuite on x86_64-linux
:
$ nix develop ../ghc.nix#wasi-cross
$ hadrian/build-cabal -j9 --docs=none
$ hadrian/build-cabal -j9 test --docs=none
I tried this workflow and got an error:
Error, file does not exist and no rule available:
ffitarget.h
Build failed.
@yvan-sraka I tried the same workflow using the latest branch and ghc revision on x86_64 nixos and it works. Would you share the commands you use to spawn the shell and were you building in a fresh ghc checkout?
@yvan-sraka I tried the same workflow using the latest branch and ghc revision on x86_64 nixos and it works. Would you share the commands you use to spawn the shell and were you building in a fresh ghc checkout?
N.B. The issue I have seems not related to this PR 😅
This introduces a new
devShell
,wasi-cross
, which enableswithWasmSDK
.