running
2 views
Skip to first unread message
Radu Grigore
Sep 20, 2010, 5:46:00 AM9/20/10
to jstar...@googlegroups.com
You may want to know about
scripts/run.sh
which is what I use to run soot and jStar in one go. It puts all the
generated files in one directory that is easy to clean afterwards.
(Like ocamlbuild.)
scripts/run.sh
which is what I use to run soot and jStar in one go. It puts all the
generated files in one directory that is easy to clean afterwards.
(Like ocamlbuild.)
Reply all
Reply to author
Forward
0 new messages