Shuanglong Kan

cannot compile

1

Hi, I tried to compile c-semantics witch docker file in my OS X system. But failed. I got the following information: /home/user/c-semantics-deps/k/k-distribution/target/release/k/bin/../lib/k: line 7: 3136 Killed java -Dfile.encoding=UTF-8 -Djava.awt.headless=true -Xms64m...

I used K3.6 to write the semantics of a language. Now I want to move to K4.0. But there is a problem for kompile. In K4.0, there is a new...

Install Ultimate on Mac

23

I tried to configure the eclipse development environment on MAC, but the project failed to compile. One problem is: Lexer cannot be resolved as a type in the following code....