ACL2readonly

1
<?xml version="1.0" encoding="utf-8"?>
2
<Project ToolsVersion="15.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
3
  <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
4
  <PropertyGroup>
5
    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
6
    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
7
    <ProjectGuid>{BBE38A32-C3E7-4D58-8EF1-FBD4D4B49290}</ProjectGuid>
8
    <OutputType>Exe</OutputType>
9
    <RootNamespace>ACL2readonly</RootNamespace>
10
    <AssemblyName>ACL2readonly</AssemblyName>
11
    <TargetFrameworkVersion>v4.8</TargetFrameworkVersion>
12
    <FileAlignment>512</FileAlignment>
13
    <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
14
    <Deterministic>true</Deterministic>
15
    <TargetFrameworkProfile />
16
  </PropertyGroup>
17
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
18
    <PlatformTarget>AnyCPU</PlatformTarget>
19
    <DebugSymbols>true</DebugSymbols>
20
    <DebugType>full</DebugType>
21
    <Optimize>false</Optimize>
22
    <OutputPath>bin\Debug\</OutputPath>
23
    <DefineConstants>DEBUG;TRACE</DefineConstants>
24
    <ErrorReport>prompt</ErrorReport>
25
    <WarningLevel>4</WarningLevel>
26
  </PropertyGroup>
27
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
28
    <PlatformTarget>AnyCPU</PlatformTarget>
29
    <DebugType>pdbonly</DebugType>
30
    <Optimize>true</Optimize>
31
    <OutputPath>bin\Release\</OutputPath>
32
    <DefineConstants>TRACE</DefineConstants>
33
    <ErrorReport>prompt</ErrorReport>
34
    <WarningLevel>4</WarningLevel>
35
  </PropertyGroup>
36
  <ItemGroup>
37
    <Reference Include="System" />
38
    <Reference Include="System.Configuration" />
39
    <Reference Include="System.Core" />
40
    <Reference Include="System.Xml.Linq" />
41
    <Reference Include="System.Data.DataSetExtensions" />
42
    <Reference Include="Microsoft.CSharp" />
43
    <Reference Include="System.Data" />
44
    <Reference Include="System.Net.Http" />
45
    <Reference Include="System.Xml" />
46
  </ItemGroup>
47
  <ItemGroup>
48
    <Compile Include="Program.cs" />
49
    <Compile Include="Properties\AssemblyInfo.cs" />
50
  </ItemGroup>
51
  <ItemGroup>
52
    <None Include="App.config" />
53
  </ItemGroup>
54
  <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
55
</Project>
56