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