-
-
Notifications
You must be signed in to change notification settings - Fork 33
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
Error during build: "warning: non-portable path to file" #74
Labels
bug
Something isn't working
help wanted
Extra attention is needed
low-prio
Fixing this is not a goal/priority right now
Comments
yorickvP
added
bug
Something isn't working
help wanted
Extra attention is needed
low-prio
Fixing this is not a goal/priority right now
labels
Feb 25, 2022
This is probably a bug in cabal. Nothing we can do about it. |
mengwong
added a commit
to smucclaw/baby-l4
that referenced
this issue
Dec 1, 2022
…te SmtSBV and some LSP We switch from manually-maintained baby-l4.cabal to package.yaml We delete SmtSBV.hs because it was commented out in baby-l4.cabal; we can always retrieve it from a previous commit if we want to bring it back. But even now it was out of sync with the rest of the build tree. You can expect a build error-cum-warning re cabal_macros.h NixOS/nixfmt#74 says to ignore that error
Doesn't seem worth keeping this open. If this causes any real problems, please let us know |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
bug
Something isn't working
help wanted
Extra attention is needed
low-prio
Fixing this is not a goal/priority right now
Still seems to work fine, and in fact it seems it's really a warning, but Nix shows it as an error so it looks more concerning than it probably is.
On macOS Catalina.
The text was updated successfully, but these errors were encountered: