diff options
| author |  mikebarnett <unknown> | 2010-07-14 19:55:02 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-14 19:55:02 +0000 |
| commit | 6aec6c6c976832f02f3d8986df3d7a54f7edbf3a (patch) | |
| tree | 11c44064d54f1b540a3d36b27c57137adf848d85 /Source/Provers/Isabelle | |
| parent | 26ac7446fae34e4d30a884ed351fbdb82b0dce52 (diff) | |
Fixed project files to point to references correctly and also to remove assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
Diffstat (limited to 'Source/Provers/Isabelle')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 5 | ||||
| -rw-r--r-- | Source/Provers/Isabelle/Properties/AssemblyInfo.cs | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 7fd88a87..049f5dd5 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -12,6 +12,8 @@ <AssemblyName>Provers.Isabelle</AssemblyName>
<TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
+ <SignAssembly>true</SignAssembly>
+ <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -65,6 +67,9 @@ <ItemGroup>
<Compile Include="Prover.cs" />
</ItemGroup>
+ <ItemGroup>
+ <None Include="InterimKey.snk" />
+ </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
diff --git a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs index ac99974f..20b53d3b 100644 --- a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs +++ b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs @@ -3,8 +3,6 @@ using System.Reflection;
using System.Runtime.CompilerServices;
-[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]
-
[assembly: AssemblyTitle("Boogie back-end for Isabelle")]
[assembly: AssemblyDescription("Boogie back-end for the interactive"
+ " theorem prover Isabelle")]
|