Create envrc in workspace

init-workspace.sh

@@ -29,5 +29,7 @@ else
     echo "export TGC_HAMMER_WORKDIR=\"$PWD\"" >> source.sh
     echo "export PATH=\"${TGC_HAMMER_HOME}/toolflow/target/universal/stage/bin:$PATH\"" >> source.sh
 
+    echo "source source.sh" > .envrc
+
     mkdir -p output
 fi

toolflow/src/main/scala/com/minres/tgc/hammer/options/BaseOption.scala

@@ -8,13 +8,9 @@ import scala.compiletime.uninitialized
 trait BaseOption[T](using conv: ValueConverter[T]) {
   protected def createScallop(conf: ScallopConf, group: ScallopOptionGroup): ScallopOption[T]
   private var scallop: ScallopOption[T] = uninitialized
-  def init(scallopConf: ScallopConf, group: ScallopOptionGroup): Unit = {
-    scallop = createScallop(scallopConf, group)
-  }
+  def init(scallopConf: ScallopConf, group: ScallopOptionGroup): Unit = scallop = createScallop(scallopConf, group)
 
-  def get: T = {
-    scallop()
-  }
+  def get: T = scallop()
   def apply: T = get
 
   def getToolParameters: Seq[Shellable] = if (scallop.isDefined) Seq(s"--$toolName", getToolArg) else Seq()