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
Problem: After following all of the prerequisite steps, I tried to run GC_DONT_GC=1 nix build .#test, which errors with Internal: bison returned nonzero exit code: 141.
System: MAC OS 15.2, M1
Steps Followed:
Installed Nix through DeterminateSystems Installer
Installed the dependencies listed in install-build-deps manually through brew since ./install-build-deps was causing my machine to hang
GC_DONT_GC=1 nix build . works fine
Additionally, after running nix shell ., the kompile command is still not found. Maybe these issues are related? I'd really appreciate any assistance here. Thank you!
The text was updated successfully, but these errors were encountered:
Arnav-99
changed the title
Internal: bison returned nonzero exit code: 141
Internal: bison returned nonzero exit code: 141, kompile not found
Jan 2, 2025
Problem: After following all of the prerequisite steps, I tried to run
GC_DONT_GC=1 nix build .#test
, which errors withInternal: bison returned nonzero exit code: 141
.System: MAC OS 15.2, M1
Steps Followed:
https://github.com/runtimeverification/k.git
install-build-deps
manually through brew since./install-build-deps
was causing my machine to hangGC_DONT_GC=1 nix build .
works fineAdditionally, after running
nix shell .
, thekompile
command is still not found. Maybe these issues are related? I'd really appreciate any assistance here. Thank you!The text was updated successfully, but these errors were encountered: