unable to run the CIL semantics following the instructions about c-semantics HOT 1 CLOSED

You need to install cilly to your path. Do we have instructions for this?
On Jul 17, 2014 5:08 PM, "Yilong Li" [email protected] wrote:

I am trying to follow the instructions at:

https://github.com/kframework/c-semantics/tree/java_rewrite_engine/cil-semantics#how-to-use-and-test-the-cil-semantics
to run the CIL semantics.

kcil, kcil-pp & kompile are all in my PATH. And I have successfully
kompiled cil.k.

yilongli@ubuntu:/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics$ which kcil
/home/yilongli/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics/kcil
yilongli@ubuntu:/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics$ which kcil-pp
/home/yilongli/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics/kcil-pp
yilongli@ubuntu:~/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics$ which kompile
/home/yilongli/Eclipse-Workspaces/sbtg-workspace/k/bin/kompile

However, I couldn't even run the simplest program, test.cil.c in the
directory. Here is the error message.

yilongli@ubuntu:~/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics$ kcil test.cil.c
Error running KCIL preprocessor:
Could not open /home/yilongli/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics/test.cil.c.cil for reading: No such file or directory
Died at /home/yilongli/Eclipse-Workspaces/sbtg-workspace/c-semantics/cil-semantics/kcil line 214.

This is very frustrating. Can someone help me out? Thanks!

—
Reply to this email directly or view it on GitHub
#28.

from c-semantics.