Conversation
georgefst
commented
Nov 5, 2025
| # TODO apply this only on Windows targets somehow? | ||
| # unclear how to do that here, or correct syntax for putting `configureFlags` in `cabal.project` | ||
| # if possible we should just avoid `basement` due to abandonment and memory safety issues | ||
| # we only rely on it due to TLS stuff in Dhall |
Owner
Author
There was a problem hiding this comment.
Actually, TLS stuff in Dhall is easily disabled, but it seems we have other paths to basement.
Owner
Author
There was a problem hiding this comment.
Anyway, even with all this, the build hangs later on: [6/3/21 built] building streamly-core-lib-streamly-core-x86_64-w64-mingw32-0.2.3 (buildPhase): Listening on port 9307
It turns out files under `extra-source-files` are not found at compile time (`file-embed`) unless they're in `rsc` (and not as symlinks), and known to Git (staging makes a difference, which confused me for a while, e.g. in georgefst/hello-hs@fa41589). We ran: ```sh cp js/main.js haskell/rsc/main.js cp css/common.css haskell/rsc/common.css cp css/login.css haskell/rsc/login.css cp css/app.css haskell/rsc/app.css (cd elm && elm make src/Main.elm --output /tmp/monpad-elm.js --optimize && cd ..) && closure-compiler /tmp/monpad-elm.js --js_output_file haskell/rsc/elm.js echo '(./dhall/lib/map-layout.dhall).toLinux (./dhall/default.dhall)' | dhall > haskell/rsc/default.dhall ```
We've had various issues with Windows, so we're dropping it for now until everything else has solidified. These snippets may be worth reviving:
```
modules = [{ packages.basement.configureFlags = [ "--gcc-option=-Wno-error=int-conversion" ]; }];
```
```
-- TODO this just avoids a transient Haskell.Nix issue, where it tries to apply a redundant patch to 0.2.3.1
if os(windows)
constraints:
streaming-commons==0.2.3.0
```
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
A re-attempt of #44, motivated no longer just by cross-compiling, but by developing on my NixOS machines.
Currently
nix buildbasically works, but I haven't really thought about how to get a decent development workflow with incremental builds.