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