1 files changed, 38 insertions, 0 deletions
diff --git a/run_tree.ps1 b/run_tree.ps1
new file mode 100644
index 0000000..7f74bac
--- /dev/null
+++ b/run_tree.ps1
@@ -0,0 +1,38 @@
+param(
+    [switch]$NoRun
+)
+
+$ErrorActionPreference = "Stop"
+
+$repoRoot = $PSScriptRoot
+$projectName = Split-Path -Leaf $repoRoot
+
+Push-Location $repoRoot
+try {
+    (& opam env) -split '\r?\n' | ForEach-Object {
+        if ($_ -ne "") {
+            Invoke-Expression $_
+        }
+    }
+
+    dune build shared/shabptree/sakura_shabptree.dll bin/tree.exe
+
+    $dll = @(
+        Get-ChildItem -Path $repoRoot -Filter sakura_shabptree.dll -Recurse -ErrorAction SilentlyContinue
+        Get-ChildItem -Path (Join-Path $repoRoot "..") -Filter sakura_shabptree.dll -Recurse -ErrorAction SilentlyContinue |
+            Where-Object { $_.FullName -like "*\_build\*\$projectName\shared\shabptree\sakura_shabptree.dll" }
+    ) | Select-Object -First 1
+
+    if ($null -eq $dll) {
+        throw "Could not find built sakura_shabptree.dll"
+    }
+
+    $env:SAKURA_BPLUSTREE_DLL = $dll.FullName
+
+    if (-not $NoRun) {
+        dune exec bin/tree.exe
+    }
+}
+finally {
+    Pop-Location
+}