• Home
• info.hupel
• isabellectl_2.12
• 1.0.0-RC3
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

abellectl_2.12.1.0.0-RC3.source-code.Build.scala Maven / Gradle / Ivy

package info.hupel.isabelle.cli

import scala.concurrent._

import info.hupel.isabelle.System

object Build extends Command {

  override def run(bundle: Bundle, args: List[String])(implicit ec: ExecutionContext): Future[Unit] = {
    val built = System.build(bundle.env, bundle.configuration)
    if (!built)
      sys.error("build error")
    Future.successful { () }
  }

}