diff options
Diffstat (limited to 'src/main/scala/firrtl/Driver.scala')
| -rw-r--r-- | src/main/scala/firrtl/Driver.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/scala/firrtl/Driver.scala b/src/main/scala/firrtl/Driver.scala index 1f0741fd..76a2e4f8 100644 --- a/src/main/scala/firrtl/Driver.scala +++ b/src/main/scala/firrtl/Driver.scala @@ -202,6 +202,18 @@ object Driver { "" // Should we return something different here? } + // If set, emit final annotations to a file + optionsManager.firrtlOptions.outputAnnotationFileName match { + case "" => + case file => + val filename = optionsManager.getBuildFileName("anno", file) + val outputFile = new java.io.PrintWriter(filename) + finalState.annotations.map { + case annos => outputFile.write(annos.annotations.mkString("\n")) + } + outputFile.close() + } + FirrtlExecutionSuccess(firrtlConfig.compilerName, emittedRes) } } |
