deploy.ps1

<#
.SYNOPSIS
  Publishes a SharpPostgres-hosted PG extension for win-x64 (Release config),
  copies the AOT .dll + generator-emitted extension/ files into the local
  PostgreSQL 18 install, and restarts the PG service.

.PARAMETER Extension
  Which extension to deploy:
    * JsonSchemaCheck (default) -- the JSON Schema validator extension
    * Demos -- the synthetic sample-functions extension
    * All -- both, in one service-restart cycle

.EXAMPLE
  .\deploy.ps1
  .\deploy.ps1 -Extension Demos
  .\deploy.ps1 -Extension All

.NOTES
  Run as administrator: copying into Program Files + restarting the
  postgresql-x64-18 service both require elevation. The script will refuse
  to run unelevated.

  Restarting the service kicks all existing connections; that's required
  for new backend processes to pick up the new .dll. Existing backends
  hold the old image in memory and won't see your update.
#>

#requires -RunAsAdministrator

param(
    [ValidateSet('Demos', 'JsonSchemaCheck', 'All')]
    [string]$Extension = 'JsonSchemaCheck'
)

$ErrorActionPreference = 'Stop'

# Edit these two for your install: the EDB-installer defaults are
# 'postgresql-x64-18' / 'C:\Program Files\PostgreSQL\18'. If you used a
# different installer / version / path, update both before running.
$service = 'postgresql-x64-18'
$pgRoot  = 'C:\Program Files\PostgreSQL\18'

$repo    = $PSScriptRoot
$publishDir = Join-Path $repo 'artifacts\win-x64'

# Fail fast before doing any work if the install doesn't match.
if (-not (Get-Service -Name $service -ErrorAction SilentlyContinue)) {
    throw "Service '$service' not found. Edit `$service in this script to match your PG install."
}
if (-not (Test-Path $pgRoot -PathType Container)) {
    throw "PG install root '$pgRoot' not found. Edit `$pgRoot in this script to match your PG install."
}

$projects = [ordered]@{
    'Demos' = @{
        Csproj  = 'SharpPostgres.Demos\SharpPostgres.Demos.csproj'
        Folder  = 'SharpPostgres.Demos'
        DllBase = 'sharppostgres_demos'
    }
    'JsonSchemaCheck' = @{
        Csproj  = 'SharpPostgres.JsonSchemaCheck\SharpPostgres.JsonSchemaCheck.csproj'
        Folder  = 'SharpPostgres.JsonSchemaCheck'
        DllBase = 'json_schema_check'
    }
}

$toDeploy = if ($Extension -eq 'All') { @('Demos', 'JsonSchemaCheck') } else { @($Extension) }

# 1. Publish all selected extensions BEFORE stopping the service: any
#    build failure should leave PG running.
foreach ($name in $toDeploy) {
    $info = $projects[$name]
    Write-Host ""
    Write-Host "Publishing $name (win-x64, Release)..." -ForegroundColor Cyan

    dotnet publish (Join-Path $repo $info.Csproj) `
        -c Release -r win-x64 -o $publishDir --nologo
    if ($LASTEXITCODE -ne 0) {
        throw "dotnet publish failed for $name (exit $LASTEXITCODE)"
    }

    $dll = Join-Path $publishDir "$($info.DllBase).dll"
    if (-not (Test-Path $dll)) {
        throw "Expected $dll after publish, but it's missing"
    }

    $extDir = Join-Path $repo "$($info.Folder)\extension"
    if (-not (Test-Path $extDir)) {
        throw "Expected $extDir to exist (EmitSchema target should have populated it)"
    }
}

# 2. Stop the service once, deploy everything, restart once -- minimizes
#    downtime when deploying multiple extensions.
Write-Host ""
Write-Host "Stopping $service..." -ForegroundColor Cyan
Stop-Service $service

try {
    foreach ($name in $toDeploy) {
        $info = $projects[$name]
        $dll = Join-Path $publishDir "$($info.DllBase).dll"
        $extDir = Join-Path $repo "$($info.Folder)\extension"

        Write-Host ""
        Write-Host "Deploying $name..." -ForegroundColor Cyan
        Write-Host "  $dll -> $pgRoot\lib\"
        Copy-Item $dll "$pgRoot\lib\" -Force

        Write-Host "  $extDir\* -> $pgRoot\share\extension\"
        Copy-Item (Join-Path $extDir '*') "$pgRoot\share\extension\" -Force
    }
}
finally {
    Write-Host ""
    Write-Host "Starting $service..." -ForegroundColor Cyan
    Start-Service $service
}

Write-Host ""
Write-Host "Deploy OK. Run 'CREATE EXTENSION <name>;' from any client to load." -ForegroundColor Green
foreach ($name in $toDeploy) {
    $sqlName = if ($name -eq 'JsonSchemaCheck') { 'json_schema_check' } else { 'sharppostgres_demos' }
    Write-Host "  CREATE EXTENSION $sqlName;"
}