public override void AddLibPath(string path)
{
if (String.IsNullOrEmpty(path))
{
return;
}
if (!LibPaths.Contains(path))
{
base.AddLibPath(path);
}
}
public Options WithSourceFile(string sourceFile)
{
Contract.Requires(!string.IsNullOrEmpty(sourceFile));
return(new Options(
sourceFile: sourceFile,
foxtrotOptions: FoxtrotOptions,
useContractReferenceAssemblies: UseContractReferenceAssemblies,
compilerOptions: CompilerOptions,
references: References.ToArray(),
libPaths: LibPaths.ToArray(),
compilerCode: compilerCode,
useBinDir: UseBinDir,
useExe: UseExe,
mustSucceed: MustSucceed));
}