code: public List<wybs.lang.Build.Platform> getTargetPlatforms() {
  		ArrayList<Build.Platform> targetPlatforms = new ArrayList<>();
  		// Ensure target platforms are specified
  		if(configuration.hasKey(BUILD_PLATFORMS)) {
  			Value.UTF8[] targetPlatformNames = configuration.get(Value.Array.class, BUILD_PLATFORMS).toArray(Value.UTF8.class);
  			// Get list of all build platforms.
  			List<wybs.lang.Build.Platform> platforms = environment.getBuildPlatforms();
  			// Check each platform for inclusion
  			for (int i = 0; i != platforms.size(); ++i) {
  				Build.Platform platform = platforms.get(i);
  				// Convert name to UTF8 value (ugh)
  				Value.UTF8 name = new Value.UTF8(platform.getName().getBytes());
  				// Determine whether is a target platform or not
  				if (ArrayUtils.firstIndexOf(targetPlatformNames, name) >= 0) {
  					targetPlatforms.add(platform);
  				}
  			}
  		}
  		// Done
  		return targetPlatforms;
  	}
docs: Get the list of declared target platforms for this project. This is
  determined by the attribute "build.platforms" in the project (wy.toml) build
  file.
  
  @return