anchor.diff:  // #Sireum
   import org.sireum._
   
  +
  +def usage(): Unit = {
  +  println("Sireum Runtime /build")
  +  println("Usage: ( compile | test | m2 | jitpack )")
  +}
  +
   if (Os.cliArgs.size != 2) {
  -  println("Usage: ( compile | test | m2 )")
  +  usage()
  +  Os.exit(0)
   }
   
   val homeBin = Os.path(Os.cliArgs(0))
  
positive.code:     println()
    }
  
    triggerJitPack()
    tipe()
    println("Compiling ...")
    Os.proc(ISZ(mill.string, "all", "runtime.library.jvm.tests.compile")).at(home).console.runCheck()
  
negative.code:   }
  }
  
  def jitpack(): Unit = {
    println("Triggering jitpack ...")
    val r = Os.proc(ISZ(mill.string, "jitPack", "--owner", "sireum", "--repo", "runtime", "--lib", "library")).at(home).run()
    r match {
      case r: Os.Proc.Result.Normal =>
        println(r.out)
        println(r.err)
        if (!r.ok) {
          eprintln(s"Exit code: ${r.exitCode}")
        }
      case r: Os.Proc.Result.Exception =>
        eprintln(s"Exception: ${r.err}")
      case _: Os.Proc.Result.Timeout =>
        eprintln("Timout")
        eprintln()
    }
    println()
  }
  
  def compile(): Unit = {
  
    def tipe(): Unit = {
      println("Slang type checking ...")
  