building ast.sln

Dec 21, 2012 at 11:45 PM

I am trying to integrate Dafny into Visual Studio 2010 and I cannot build ast.sln (the CCI which I believe is a project I need to build for Dafny to work in VS2010).   I also tried finishing the VS2010-Dafny integration instructions without building ast.sln, but the VS2010 crashes when trying to run VS with Dafny.

I am trying to follow these instructions:

http://boogie.codeplex.com/wikipage?title=Sources&referringTitle=Home

 

This is the build ouput errors:

 

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\RoundtripTests\RoundtripTests.csproj : error  : Unable to read the project file 'RoundtripTests.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\RoundtripTests\RoundtripTests.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\RoundtripTests\RoundtripTests.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\PEReaderTests\PEReaderTests.csproj : error  : Unable to read the project file 'PEReaderTests.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\PEReaderTests\PEReaderTests.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Tests\PEReaderTests\PEReaderTests.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToPe\PeToPe.csproj : error  : Unable to read the project file 'PeToPe.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToPe\PeToPe.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToPe\PeToPe.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\CDFGToText\CdfgToText.csproj : error  : Unable to read the project file 'CdfgToText.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\CDFGToText\CdfgToText.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\CDFGToText\CdfgToText.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindGeneric\FindGeneric.csproj : error  : Unable to read the project file 'FindGeneric.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindGeneric\FindGeneric.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindGeneric\FindGeneric.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindThrowArgumentNull\FindThrowArgumentNull.csproj : error  : Unable to read the project file 'FindThrowArgumentNull.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindThrowArgumentNull\FindThrowArgumentNull.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\FindThrowArgumentNull\FindThrowArgumentNull.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\HelloIL\HelloIL.csproj : error  : Unable to read the project file 'HelloIL.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\HelloIL\HelloIL.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\HelloIL\HelloIL.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\ILMutator\ILMutator.csproj : error  : Unable to read the project file 'ILMutator.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\ILMutator\ILMutator.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\ILMutator\ILMutator.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToText\PeToText.csproj : error  : Unable to read the project file 'PeToText.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToText\PeToText.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\PeToText\PeToText.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\EdgeProfiler\EdgeProfiler.csproj : error  : Unable to read the project file 'EdgeProfiler.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\EdgeProfiler\EdgeProfiler.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\EdgeProfiler\EdgeProfiler.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\AnalysisToText\AnalysisToText.csproj : error  : Unable to read the project file 'AnalysisToText.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\AnalysisToText\AnalysisToText.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\AnalysisToText\AnalysisToText.csproj'.

C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\Z3Wrapper\Z3Wrapper.csproj : error  : Unable to read the project file 'Z3Wrapper.csproj'.
C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\Z3Wrapper\Z3Wrapper.csproj: The project file could not be loaded. Could not find a part of the path 'C:\Users\mdude\Downloads\boogie-680ecf2edff3\boogie_680ecf2edff3\CCICodePlex\Ast\Metadata\Samples\Z3Wrapper\Z3Wrapper.csproj'.

Dec 22, 2012 at 12:49 AM

You can ignore this, I figured out the problem.