Internal: bison returned nonzero exit code: 141, kompile not found
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- macos
- Área
- build-system, tooling
Línea de trabajo
Reproduce the report on macOS 15.2 with an M1 by running GC_DONT_GC=1 nix build .#test, then compare it with the successful GC_DONT_GC=1 nix build . and nix shell . commands. Investigate the bison exit code 141 and why kompile is unavailable; done means the test build succeeds and kompile is found after entering the shell.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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
- Cloned
https://github.com/runtimeverification/k.git - Installed the dependencies listed in
install-build-depsmanually through brew since./install-build-depswas 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!
- Lenguaje dominante
- Python
- Estrellas
- 598
- Forks
- 164
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de runtimeverification/k
-
Dificultad 4/5 3-5 días Aptitud para principiantes 43/100
runtimeverification/k#4942 ·
-
bug
Dificultad 3/5 Medio día Aptitud para principiantes 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxQuizá libre de nuevo @Stevengre la tomó hace 126 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4939 · 1 asignado ·
-
Concolic ExplorerAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
runtimeverification/k#4937 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
runtimeverification/k#4936 ·
Todos los issues de runtimeverification/k
Issues similares
-
fix(ui): serve bundled fonts from the gatewayPosiblemente ocupada @dkritarth la tomó hoy. Abiertoagent: in-progress agent: ready P3 type: bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
dkritarth/scopewatch#336 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bob
Dificultad 1/5 1-3 horas Aptitud para principiantes 72/100
khuisman/mcp-gee-sweet#1267 ·
Los mantenedores suelen responder en 1 día
-
bug confirmed issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
open-webui/open-webui#33285 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
tv-list
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
Gathin23/cleanyourtv#2337 ·
Los mantenedores suelen responder en 1 día
-
bug P2
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Los mantenedores suelen responder en 1 día