Cheng Shao <cheng.s...@tweag.io> writes: > Hi all, > > The ghc wasm32-wasi build needs to patch gmp. Currently, our working > branch uses a fork of gmp-tarballs that includes the patch into the > tarball, but at some point we need to upstream it. What's the best way > to add these fixes? > > - Send a PR to gmp-tarballs, including our patch (doesn't alter > behavior on native archs) and the updated tarball build script > - Don't touch gmp-tarballs, use "system" gmp, so the wasm32-wasi gmp > build process is decoupled from ghc build > - Give up gmp completely, only support native bignum for wasm32. > I think it would be reasonable to include your patch in `gmp-tarballs`; please do open an MR. However I do also think we should make an attempt to upstream it so that eventually we can drop the patch locally.
Cheers, - Ben
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
