Esempio n. 1
0
        /// <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);
            }
        }
Esempio n. 2
0
        /// <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);
            }
        }
Esempio n. 3
0
        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);
        }