/// <summary>
/// Initializes a new instance of the VSSolutionVerb class.
/// </summary>
/// <param name="solutionFile">Solution file to build.</param>
/// <param name="optionalDafnyInput">Optional dafny-derived-CSharp dependency.</param>
public VSSolutionVerb(SourcePath solutionFile, SourcePath optionalDafnyInput = null, bool releaseBuild = false)
{
this.solutionFile = solutionFile;
this.abstractId = new AbstractId(this.GetType().Name, VSSolutionVerb.Version, this.solutionFile.ToString());
this.releaseBuild = releaseBuild;
// Parse the solution file (and project files contained in the solution).
this.solutionParser = new VSSolutionParser(this.solutionFile);
this.outputPathSuffix = Path.Combine(BuildEngine.theEngine.getObjRoot(), this.solutionFile.getDirPath());
if (optionalDafnyInput != null)
{
this.dafnyCompileOneVerb = new DafnyCompileOneVerb(optionalDafnyInput);
}
}
/// <summary>
/// Initializes a new instance of the VSSolutionVerb class.
/// </summary>
/// <param name="solutionFile">Solution file to build.</param>
/// <param name="optionalDafnyInput">Optional dafny-derived-CSharp dependency.</param>
public VSSolutionVerb(SourcePath solutionFile, SourcePath optionalDafnyInput = null, bool releaseBuild = false)
{
this.solutionFile = solutionFile;
this.abstractId = new AbstractId(this.GetType().Name, VSSolutionVerb.Version, this.solutionFile.ToString());
this.releaseBuild = releaseBuild;
// Parse the solution file (and project files contained in the solution).
this.solutionParser = new VSSolutionParser(this.solutionFile);
this.outputPathSuffix = Path.Combine(BuildEngine.theEngine.getObjRoot(), this.solutionFile.getDirPath());
if (optionalDafnyInput != null)
{
this.dafnyCompileOneVerb = new DafnyCompileOneVerb(optionalDafnyInput);
}
}
public VSSolutionVerb(SourcePath solutionFile)
{
_solutionFile = solutionFile;
_abstractId = new AbstractId(this.GetType().Name, version, _solutionFile.ToString());
//- Parse the solution file
_solutionParser = new VSSolutionParser(_solutionFile);
//- Generate output path
_outputPath = ".";
int depth = _solutionFile.getDirPath().Split(@"\/".ToCharArray(), StringSplitOptions.RemoveEmptyEntries).Length;
for (int i = 0; i < depth; i++)
{
_outputPath = Path.Combine(_outputPath, "..");
}
_outputPathSuffix = Path.Combine(BuildEngine.theEngine.getObjRoot(), _solutionFile.getDirPath());
_outputPath = Path.Combine(_outputPath, _outputPathSuffix);
}
