Support .NET Core using .NET Core SDK

.gitignore

@@ -160,4 +160,6 @@ release.cmd
 .fake/
 docs/tools/FSharp.Formatting.svclog
 docs/tools/XmlWriter
+project.lock.json
+.vscode
 

.travis.yml

@@ -1,6 +1,18 @@
 language: csharp
 
-sudo: false
+matrix:
+  include:
+    - os: linux # Ubuntu 14.04
+      dist: trusty
+      sudo: required
+      mono: latest
+      dotnet: 1.0.0-preview2-003121
+    - os: osx # OSX 10.11
+      osx_image: xcode7.2
+      mono: latest
+      dotnet: 1.0.0-preview2-003121
+  allow_failures:
+    - os: osx
 
 script:
   - ./build.sh GenerateDocs

appveyor.yml

@@ -1,3 +1,5 @@
+os: Visual Studio 2015
+
 init:
   - git config --global core.autocrlf input
 build_script:

build.fsx

@@ -225,6 +225,42 @@ Target "Release" (fun _ ->
     Branches.pushTag "" "origin" release.NugetVersion
 )
 
+// --------------------------------------------------------------------------------------
+// .NET Core SDK and .NET Core
+
+let assertExitCodeZero x = if x = 0 then () else failwithf "Command failed with exit code %i" x
+let isDotnetSDKInstalled = try Shell.Exec("dotnet", "--version") = 0 with _ -> false
+let shellExec cmd args dir =
+    printfn "%s %s" cmd args
+    Shell.Exec(cmd, args, dir) |> assertExitCodeZero
+
+
+Target "SetVersionInProjectJSON" (fun _ ->
+    !! "./src/**/project.json"
+    |> Seq.iter (DotNetCli.SetVersionInProjectJson buildVersion)
+)
+
+Target "Build.NetCore" (fun _ ->
+    shellExec "dotnet" "restore" "."
+    shellExec "dotnet" "--verbose pack --configuration Release" "src/FsCheck"
+    shellExec "dotnet" "--verbose pack --configuration Release" "src/FsCheck.Xunit"
+    shellExec "dotnet" "--verbose pack --configuration Release" "src/FsCheck.NUnit"
+)
+
+Target "RunTests.NetCore" (fun _ ->
+    shellExec "dotnet" "--verbose test --configuration Release" "tests/FsCheck.Test"
+)
+
+Target "Nuget.AddNetCore" (fun _ ->
+
+    for name in [ "FsCheck"; "FsCheck.NUnit"; "FsCheck.Xunit" ] do
+        let nupkg = sprintf "../../bin/%s.%s.nupkg" name buildVersion
+        let netcoreNupkg = sprintf "bin/Release/%s.%s.nupkg" name buildVersion
+
+        shellExec "dotnet" (sprintf """mergenupkg --source "%s" --other "%s" --framework netstandard1.6 """ nupkg netcoreNupkg) (sprintf "src/%s/" name)
+
+)
+
 // --------------------------------------------------------------------------------------
 // Run all targets by default. Invoke 'build <Target>' to override
 
@@ -233,7 +269,10 @@ Target "CI" DoNothing
 "Clean"
   =?> ("BuildVersion", isAppVeyorBuild)
   ==> "AssemblyInfo"
+  ==> "SetVersionInProjectJSON"
   ==> "Build"
+  =?> ("Build.NetCore", isDotnetSDKInstalled)
+  =?> ("RunTests.NetCore", isDotnetSDKInstalled)
   ==> "RunTests"
 
 "RunTests"
@@ -246,6 +285,7 @@ Target "CI" DoNothing
 "RunTests"
   =?> ("SourceLink", isLocalBuild && not isLinux)
   ==> "PaketPack"
+  =?> ("Nuget.AddNetCore", isDotnetSDKInstalled)
   ==> "PaketPush"
   ==> "Release"
 
@@ -254,6 +294,7 @@ Target "CI" DoNothing
 
 "RunTests"
   ==> "PaketPack" 
+  =?> ("Nuget.AddNetCore", isDotnetSDKInstalled)
   ==> "CI"
 
 RunTargetOrDefault "RunTests"

examples/FsCheck.CSharpExamples/FsCheck.CSharpExamples.csproj

@@ -32,6 +32,7 @@
     <TargetFrameworkProfile>
     </TargetFrameworkProfile>
     <AutoGenerateBindingRedirects>True</AutoGenerateBindingRedirects>
+    <ResolveNuGetPackages>false</ResolveNuGetPackages>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>

examples/FsCheck.CSharpExamples/project.json

@@ -0,0 +1,21 @@
+{
+  "version": "1.0.0-*",
+  "buildOptions": {
+    "debugType": "portable",
+    "emitEntryPoint": true
+  },
+  "dependencies": {
+    "FsCheck": { "target": "project" }
+  },
+  "frameworks": {
+    "netcoreapp1.0": {
+      "dependencies": {
+        "Microsoft.NETCore.App": {
+          "type": "platform",
+          "version": "1.0.0"
+        }
+      },
+      "imports": "dnxcore50"
+    }
+  }
+}

examples/FsCheck.Examples/FsCheck.Examples.fsproj

@@ -16,6 +16,7 @@
     </TargetFrameworkProfile>
     <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>True</AutoGenerateBindingRedirects>
+    <ResolveNuGetPackages>false</ResolveNuGetPackages>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>

examples/FsCheck.Examples/project.json

@@ -0,0 +1,34 @@
+{
+  "version": "1.0.0-*",
+  "buildOptions": {
+    "debugType": "portable",
+    "emitEntryPoint": true,
+    "compilerName": "fsc",
+    "compile": {
+      "includeFiles": [
+        "Examples.fs"
+      ]
+    }
+  },
+  "dependencies": {
+    "Microsoft.FSharp.Core.netcore": "1.0.0-alpha-*",
+    "FsCheck": { "target": "project" }
+  },
+  "frameworks": {
+    "netcoreapp1.0": {
+      "dependencies": {
+        "Microsoft.NETCore.App": {
+          "type": "platform",
+          "version": "1.0.0"
+        }
+      },
+      "imports": "dnxcore50"
+    }
+  },
+  "tools": {
+    "dotnet-compile-fsc": {
+      "version": "1.0.0-preview2-*",
+      "imports": "dnxcore50"
+    }
+  }
+}

global.json

@@ -0,0 +1,3 @@
+{
+    "projects":[ "src", "tests", "examples" ]
+}

paket.lock

@@ -1,7 +1,7 @@
 NUGET
   remote: https://www.nuget.org/api/v2
   specs:
-    FAKE (4.24.3)
+    FAKE (4.35.1)
     FSharp.Compiler.Service (2.0.0.6)
     FSharp.Formatting (2.14.2)
       FSharp.Compiler.Service (2.0.0.6)

src/FsCheck.NUnit/FsCheck.NUnit.fsproj

@@ -13,6 +13,7 @@
     </TargetFrameworkProfile>
     <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\</SolutionDir>
+    <ResolveNuGetPackages>false</ResolveNuGetPackages>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>

src/FsCheck.NUnit/project.json

@@ -0,0 +1,38 @@
+{
+  "version": "3.0.0-alpha",
+  "buildOptions": {
+    "debugType": "portable",
+    "compilerName": "fsc",
+    "compile": {
+      "includeFiles": [
+        "AssemblyInfo.fs",
+        "FsCheckPropertyAttribute.fs"
+      ]
+    }
+  },
+  "dependencies": {
+    "Microsoft.FSharp.Core.netcore": "1.0.0-alpha-*",
+    "NUnit": "3.4.1",
+    "FsCheck": {
+      "target": "project"
+    }
+  },
+  "frameworks": {
+    "netstandard1.6": {
+      "imports": "portable-net45+win8",
+      "dependencies": {
+        "NETStandard.Library": "1.6.0"
+      }
+    }
+  },
+  "tools": {
+    "dotnet-compile-fsc": {
+      "version": "1.0.0-preview2-*",
+      "imports": "dnxcore50"
+    },
+    "dotnet-mergenupkg": {
+      "target": "package",
+      "version": "1.0.*"
+    }
+  }
+}

src/FsCheck.Xunit/FsCheck.Xunit.fsproj

@@ -13,6 +13,7 @@
     </TargetFrameworkProfile>
     <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\</SolutionDir>
+    <ResolveNuGetPackages>false</ResolveNuGetPackages>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>

src/FsCheck.Xunit/project.json

@@ -0,0 +1,37 @@
+{
+  "version": "3.0.0-alpha",
+  "buildOptions": {
+    "debugType": "portable",
+    "compilerName": "fsc",
+    "compile": {
+      "includeFiles": [
+        "AssemblyInfo.fs",
+        "PropertyAttribute.fs"
+      ]
+    }
+  },
+  "dependencies": {
+    "Microsoft.FSharp.Core.netcore": "1.0.0-alpha-*",
+    "FsCheck": {
+      "target": "project"
+    },
+    "xunit.extensibility.execution": "2.2.0-beta2-build3300"
+  },
+  "frameworks": {
+    "netstandard1.6": {
+      "dependencies": {
+        "NETStandard.Library": "1.6.0"
+      }
+    }
+  },
+  "tools": {
+    "dotnet-compile-fsc": {
+      "version": "1.0.0-preview2-*",
+      "imports": "dnxcore50"
+    },
+    "dotnet-mergenupkg": {
+      "target": "package",
+      "version": "1.0.*"
+    }
+  }
+}

src/FsCheck/Arbitrary.fs

@@ -16,7 +16,7 @@ namespace FsCheck
 
 open System
 
-#if PCL
+#if PCL || NETSTANDARD1_6
 #else
 open System.Net
 open System.Net.Mail
@@ -644,11 +644,14 @@ module Arb =
                                         NullReferenceException()
                                         OutOfMemoryException()
 #if PCL
+#else
+#if NETSTANDARD1_6
 #else
                                         NotFiniteNumberException()
+                                        StackOverflowException()
+#endif
                                         IO.DirectoryNotFoundException()
                                         IO.FileLoadException()
-                                        StackOverflowException()
                                         KeyNotFoundException()
                                         IO.PathTooLongException()
 #endif
@@ -902,7 +905,7 @@ module Arb =
             |> convert (fun x -> x :> IDictionary<_,_>) (fun x -> x :?> Dictionary<_,_>)
 
         static member Culture() =
-#if PCL            
+#if PCL || NETSTANDARD1_6
             let cultures = 
                 cultureNames |> Seq.choose (fun name -> try Some (CultureInfo name) with _ -> None)
                       |> Seq.append [ CultureInfo.InvariantCulture; 
@@ -936,7 +939,7 @@ module Arb =
                 return Guid((a: int),b,c,d,e,f,g,h,i,j,k)
             } |> fromGen
 
-#if PCL
+#if PCL || NETSTANDARD1_6
 #else
         static member IPAddress() =
             let generator = generate |> Gen.arrayOfLength 4 |> Gen.map IPAddress

src/FsCheck/Data.fs

@@ -12,7 +12,7 @@ namespace FsCheck
 
 module internal Data =
 
-#if PCL
+#if PCL || NETSTANDARD1_6
 
     let cultureNames = [
                 "af"; "af-ZA";

src/FsCheck/FsCheck.fsproj

@@ -13,6 +13,7 @@
     <TargetFrameworkProfile>
     </TargetFrameworkProfile>
     <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <ResolveNuGetPackages>false</ResolveNuGetPackages>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <DebugSymbols>true</DebugSymbols>

src/FsCheck/project.json

@@ -0,0 +1,49 @@
+{
+  "version": "3.0.0-alpha",
+  "buildOptions": {
+    "debugType": "portable",
+    "compilerName": "fsc",
+    "compile": {
+      "includeFiles": [
+        "AssemblyInfo.fs",
+        "Common.fs",
+        "Data.fs",
+        "Random.fs",
+        "Reflect.fs",
+        "TypeClass.fs",
+        "Gen.fs",
+        "ReflectArbitrary.fs",
+        "Arbitrary.fs",
+        "ArbitraryExtensions.fs",
+        "GenExtensions.fs",
+        "Testable.fs",
+        "Prop.fs",
+        "PropExtensions.fs",
+        "Commands.fs",
+        "StateMachine.fs",
+        "Runner.fs",
+        "RunnerExtensions.fs"
+      ]
+    }
+  },
+  "dependencies": {
+    "Microsoft.FSharp.Core.netcore": "1.0.0-alpha-*"
+  },
+  "frameworks": {
+    "netstandard1.6": {
+      "dependencies": {
+        "NETStandard.Library": "1.6.0"
+      }
+    }
+  },
+  "tools": {
+    "dotnet-compile-fsc": {
+      "version": "1.0.0-preview2-*",
+      "imports": "dnxcore50"
+    },
+    "dotnet-mergenupkg": {
+      "target": "package",
+      "version": "1.0.*"
+    }
+  }
+}