summaryrefslogtreecommitdiff
path: root/Source/Provers/Isabelle
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Provers/Isabelle')
-rw-r--r--Source/Provers/Isabelle/Isabelle.csproj5
-rw-r--r--Source/Provers/Isabelle/Properties/AssemblyInfo.cs2
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")]