Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use TH-enabled build, remove custom miso #24

Merged
merged 2 commits into from
Oct 26, 2024
Merged

Conversation

amesgen
Copy link
Member

@amesgen amesgen commented Oct 20, 2024

No description provided.

@amesgen amesgen force-pushed the amesgen/remove-custom-miso branch 6 times, most recently from 724b072 to 50eb6a6 Compare October 22, 2024 09:29
@hasufell
Copy link

ghcup PR was merged

@amesgen amesgen force-pushed the amesgen/remove-custom-miso branch 2 times, most recently from 82d1667 to d391ad3 Compare October 25, 2024 09:09
@amesgen amesgen marked this pull request as ready for review October 25, 2024 09:33
cabal.project Outdated
Comment on lines 6 to 7
-- Required for TemplateHaskell.
shared: True
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The nix builds don't need this because of the globally installed cabal.config, but ghcup does AFAICT (which is fine I think).

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added

  -- Required for TemplateHaskell. When using wasm32-wasi-cabal from
  -- ghc-wasm-meta, this is superseded by the global cabal.config.
  shared: True

@amesgen amesgen force-pushed the amesgen/remove-custom-miso branch from d391ad3 to 562b7c2 Compare October 25, 2024 12:01
@amesgen amesgen force-pushed the amesgen/remove-custom-miso branch from 562b7c2 to 6c355aa Compare October 26, 2024 15:22
@amesgen amesgen enabled auto-merge October 26, 2024 15:22
@amesgen amesgen added this pull request to the merge queue Oct 26, 2024
Merged via the queue into main with commit 29f97c9 Oct 26, 2024
4 checks passed
@amesgen amesgen deleted the amesgen/remove-custom-miso branch October 26, 2024 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants