Inform the reporter of the compilation progress

src/main/scala/leon/Reporter.scala

@@ -43,6 +43,8 @@ abstract class Reporter(settings: Settings) {
     throw LeonFatalError(None)
   }
 
+  def onCompilerProgress(current: Int, total: Int) = {}
+
   final def info(pos: Position, msg: Any): Unit    = emit(account(Message(INFO, pos, msg)))
   final def warning(pos: Position, msg: Any): Unit = emit(account(Message(WARNING, pos, msg)))
   final def error(pos: Position, msg: Any): Unit   = emit(account(Message(ERROR, pos, msg)))

src/main/scala/leon/frontends/scalac/ScalaCompiler.scala

@@ -30,4 +30,10 @@ class ScalaCompiler(settings : NSCSettings, ctx: LeonContext) extends Global(set
     )
     phs foreach { phasesSet += _._1 }
   }
+
+  class Run extends super.Run {
+    override def progress(current: Int, total: Int) {
+      ctx.reporter.onCompilerProgress(current, total)
+    }
+  }
 }