[K-Bug] Cannot generate bison parser or glr-bison parser

[Stevengre]

What component is the issue in?

Front-End

Which command

• kompile
• kast
• krun
• kprove
• kprovex
• ksearch

What K Version?

v7.1.163

Operating System

MacOS (Apple Silicon/AMD)

K Definitions (If Possible)

TODO

Steps to Reproduce

kdist build
kast parser --gen-glr-parser --sort List --definition $(kdist which circt-semantics.llvm)

Expected Results

generate parser correctly or tell me what's wrong in my semantics

[Stevengre]

The semantics will be open-source, but it's not ready / perfect to open for now. So, how can I share my repo to the team?