You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The update-src-generated.sh script no longer works for me. I think the issue is that cabal no longer forwards GHC options to the custom setup script.
I've got a workaround that makes flags work instead of the ugly -DEXTERNAL_UUAGC hack. I will open a PR soon.
The text was updated successfully, but these errors were encountered:
noughtmare
changed the title
--ghc-options="-DEXTERNAL_UUAGC" doesn't seem to work with cabal 3.10--ghc-options="-DEXTERNAL_UUAGC" broken with cabal 3.10
Jul 15, 2024
The
update-src-generated.sh
script no longer works for me. I think the issue is that cabal no longer forwards GHC options to the custom setup script.I've got a workaround that makes flags work instead of the ugly -DEXTERNAL_UUAGC hack. I will open a PR soon.
The text was updated successfully, but these errors were encountered: