PermutationResult permResult = compile(logger, subPerms[0],
precompilation.getUnifiedAst());
FileBackedObject<PermutationResult> resultFile = new FileBackedObject<PermutationResult>(
PermutationResult.class, makePermFilename(compilerWorkDir, permId));
permResult.addArtifacts(precompilation.getGeneratedArtifacts());
resultFile.set(logger, permResult);
}
logger.log(TreeLogger.INFO, "Compile of permutations succeeded");
return true;