Create TargetDirKey
TargetDirKey is a Field[String] that gets populated with the TargetDirectoryAnnotation during PreElaboration.
parent
653efa99
Please register or sign in to comment
TargetDirKey is a Field[String] that gets populated with the TargetDirectoryAnnotation during PreElaboration.