Added release generator

ianhorswill · Sep 7, 2018 · c64bb36 · c64bb36
1 parent 7b4108e
commit c64bb36
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 0 deletions.
diff --git a/CatSAT/CatSAT.csproj b/CatSAT/CatSAT.csproj
@@ -22,6 +22,7 @@
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
     <Prefer32Bit>false</Prefer32Bit>
+    <DocumentationFile>bin\Debug\CatSAT.xml</DocumentationFile>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>pdbonly</DebugType>

diff --git a/CatSAT/SAT/Proposition.cs b/CatSAT/SAT/Proposition.cs
@@ -52,6 +52,7 @@ public class Proposition : Literal
 
         /// <summary>
         /// Probability with which this proposition will be true in the solver's starting guess.
+        /// Should be a number in the range [0,1].
         /// </summary>
         public float InitialProbability = 0.5f;
 

diff --git a/PCGToyLoader/PCGToyLoader.csproj b/PCGToyLoader/PCGToyLoader.csproj
@@ -21,6 +21,7 @@
     <DefineConstants>DEBUG;TRACE</DefineConstants>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
+    <DocumentationFile>bin\Debug\PCGToyLoader.xml</DocumentationFile>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
     <DebugType>pdbonly</DebugType>

diff --git a/make-release.sh b/make-release.sh
@@ -0,0 +1,6 @@
+#! /bin/sh
+rm -rf ../CatSAT-release
+mkdir ../CatSAT-release
+cp -r CatSAT/bin ../CatSAT-release/CatSAT
+cp -r PCGToyLoader/bin ../CatSAT-release/PCGToyLoader
+rm ../CatSAT-release/PCGToyLoader/*/CatSAT*