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