diff options
| author |  stobies <unknown> | 2010-12-06 13:01:20 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-12-06 13:01:20 +0000 |
| commit | fc8eefd389831e5ca4a176b71fe2c762bd701e21 (patch) | |
| tree | 1ea633b57d264947b5f16d0143101da5d2ef71f9 /Source/Provers/Z3api/Z3api.csproj | |
| parent | bd6ea9a2ea5e864434a3b28ef309390c4e860765 (diff) | |
Added version.cs as link to those projects that were missing it
Select 4.0 client profile on all projects
Diffstat (limited to 'Source/Provers/Z3api/Z3api.csproj')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index 19b6348a..21f09121 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -33,7 +33,7 @@ <IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile />
+ <TargetFrameworkProfile>Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -123,6 +123,9 @@ </ProjectReference>
</ItemGroup>
<ItemGroup>
+ <Compile Include="..\..\version.cs">
+ <Link>version.cs</Link>
+ </Compile>
<Compile Include="ContextLayer.cs" />
<Compile Include="ProverLayer.cs" />
<Compile Include="SafeContext.cs" />
|