search

sireum / archived-v2-amandroid

34 stars 16 forks source link

issue about configuration #14

Closed linfc closed 9 years ago

linfc commented 9 years ago

here some errors, I do not know the reason ,please help me! 2014-12-18 20 46 52

fgwei commented 9 years ago

Don't worry, that is not an error. If you want to solve this you can:

  1. open command line
  2. go to sireum-amandroid-build directory
  3. issue tools/bin/sbt-init
  4. clean your workspace