checking package dependencies
compiling Define_MACROVALTAKESCOMMENT.bsv
Warning: Unknown position: (S0001)
  File name `Define_MACROVALTAKESCOMMENT.bsv' does not match package name
  `Design'
All packages are up to date.