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

Internal: bison returned nonzero exit code: 141, kompile not found #4718

Open
Arnav-99 opened this issue Jan 2, 2025 · 0 comments
Open

Internal: bison returned nonzero exit code: 141, kompile not found #4718

Arnav-99 opened this issue Jan 2, 2025 · 0 comments

Comments

@Arnav-99
Copy link

Arnav-99 commented Jan 2, 2025

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:

  1. Installed Nix through DeterminateSystems Installer
  2. Cloned https://github.com/runtimeverification/k.git
  3. Installed the dependencies listed in install-build-deps manually through brew since ./install-build-deps was causing my machine to hang
  4. 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!

@Arnav-99 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
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

No branches or pull requests

1 participant