crestc: command not found

chennqqi / crest

Automatically exported from code.google.com/p/crest

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

What steps will reproduce the problem?
1. after succesful installation of yices, cil ,ocaml and crest, when i am 
trying to execute i am facing the following error:
2.    crestc simple.c
      crestc: command not found
3.      run_crest./function 10 -dfs
         run_crest command not found

What is the expected output? What do you see instead?
The executable files crestc and run_crest have been created and are present in 
the /bin folder but the programs are not executing.

What version of the product are you using? On what operating system?

crest -0.1.1                    ubantu linux operating system
Please provide any additional information below.

Original issue reported on code.google.com by sanghu1...@gmail.com on 5 May 2012 at 11:23

It looks like crestc and run_crest are not in your PATH. Try either typing the full path to these executables -- i.e. /home/username/crest-0.1.1/bin/crestc -- or adding /home/username/crest-0.1.1/bin/ to your PATH.

chennqqi / crest

crestc: command not found #13