@@ -7,7 +7,6 @@ open System
77open System.IO
88open System.Diagnostics
99open System.Net
10- open System.Text .RegularExpressions
1110
1211#load @" Paths.fsx"
1312
@@ -17,7 +16,6 @@ Fake.ProcessHelper.redirectOutputToTrace <-true
1716
1817module Tooling =
1918 open Paths
20- open Projects
2119
2220 (* helper functions *)
2321 #if mono_ posix
@@ -107,41 +105,6 @@ module Tooling =
107105 TargetDir: string ;
108106 }
109107
110- let jetBrainsTools = [{
111- DotTraceTool.Name = " JetBrains DotTrace Self-Profile API" ;
112- Download = " https://download-cf.jetbrains.com/resharper/JetBrains.Profiler.SelfSdk.2017.3.2.zip" ;
113- TargetDir = " dottrace-selfprofile" ;
114- };
115- {
116- DotTraceTool.Name = " JetBrains DotTrace Commandline Tools" ;
117- Download = " https://download-cf.jetbrains.com/resharper/JetBrains.dotTrace.CommandLineTools.2017.3.2.zip" ;
118- TargetDir = " dottrace-commandline" ;
119- }]
120-
121- jetBrainsTools
122- |> Seq.iter( fun t ->
123- let toolName = Path.GetFileNameWithoutExtension t.Download
124- let buildToolsDirectory = Paths.Build( " tools" )
125- let targetDir = sprintf " %s /%s " buildToolsDirectory t.TargetDir
126-
127- if ( not ( Directory.Exists targetDir)) then
128- tracefn " No %s found in %s . Downloading now" t.Name buildToolsDirectory
129- let zipFile = sprintf " %s /%s .zip" buildToolsDirectory toolName
130- use webClient = new WebClient()
131- webClient.DownloadFile( t.Download, zipFile)
132- System.IO.Compression.ZipFile.ExtractToDirectory( zipFile, targetDir)
133- File.Delete zipFile
134- tracefn " %s downloaded" t.Name
135- )
136-
137- type ProfilerTooling ( path ) =
138- let commandLineTool = Paths.CheckedInTool(( jetBrainsTools.Item 1 ) .TargetDir)
139- let toolPath = commandLineTool @@ path
140- member this.Exec arguments = execAt Environment.CurrentDirectory toolPath arguments
141-
142- let DotTraceReporter = new ProfilerTooling( " Reporter.exe" )
143- let DotTraceSnapshotStats = new ProfilerTooling( " SnapshotStat.exe" )
144-
145108 type DotNetTooling ( exe ) =
146109 member this.Exec arguments =
147110 this.ExecWithTimeout arguments ( TimeSpan.FromMinutes 30. )
0 commit comments