search

sireum / archived-v2-amandroid

34 stars 16 forks source link

Recompiling and Deploying Amandroid #20

Open vitaliiavdiienko opened 9 years ago

vitaliiavdiienko commented 9 years ago

Hi all,

i am new in Scala and sbt and I would be grateful if you can release some README with steps how to recompile and run Amandroid.

I have imported all project in Eclipse, made some changes in sireum-amandroid-cli and I want to recompile the whole system and run Amandroid with my changes.

Thank you in advance, Vitalii

fgwei commented 9 years ago

What you mean by recompile? If you make any change, you can just run your plugin while eclipse. If you want to build the whole amandroid with command line tool, you can try to use sireum-amandroid-build. https://github.com/sireum/amandroid/issues/14 can help you setup sireum-amandroid-build. Then I will update a document (soon!) to have a step by step way to compile amandroid cli.

vitaliiavdiienko commented 9 years ago

Hi,

looking forward to your step-by-step instructions how to compile Amandroid with command line tool.

Thanks.

Best Regards, Vitalii