abellectl_2.11.1.1.0-RC3.source-code.Exec.scala Maven / Gradle / Ivy

Go to download

package info.hupel.isabelle.cli

import scala.concurrent._

object Exec extends Command {

  override def run(bundle: Bundle, args: List[String])(implicit ec: ExecutionContext): Future[Unit] = args match {
    case tool :: args =>
      Future.successful {
        logger.info(s"Starting Isabelle tool $tool with arguments ${args.mkString(" ")} ...")
        val rc = bundle.env.exec(tool, args)
        logger.info(s"Exited with status $rc")
        if (rc > 0)
          sys.exit(rc)
      }
    case Nil =>
      sys.error("missing parameters for 'exec'")
  }

}