diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 14:26:53 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 14:26:53 -0700 |
commit | 990966db7dcea00045c5c104ded084348e8f7dde (patch) | |
tree | b7ba5727c821848354de40c4149633ed9dc5a23d /Source/DafnyServer/DafnyServer.csproj | |
parent | 48fed349a2fc592e7f015ecaa6cf98582446278f (diff) |
Split the server source into multiple files
Diffstat (limited to 'Source/DafnyServer/DafnyServer.csproj')
-rw-r--r-- | Source/DafnyServer/DafnyServer.csproj | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Source/DafnyServer/DafnyServer.csproj b/Source/DafnyServer/DafnyServer.csproj index 0aac88b2..3da33f16 100644 --- a/Source/DafnyServer/DafnyServer.csproj +++ b/Source/DafnyServer/DafnyServer.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
<PropertyGroup>
@@ -55,6 +55,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="DafnyHelper.cs" />
+ <Compile Include="Utilities.cs" />
+ <Compile Include="VerificationTask.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="Server.cs" />
</ItemGroup>
@@ -72,4 +75,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |