annotate vext.ps1 @ 529:2cc8700975db

Update vext
author Chris Cannam
date Fri, 06 Oct 2017 13:28:52 +0100
parents 9fc762aafd01
children
rev   line source
Chris@523 1 <#
Chris@523 2
Chris@523 3 .SYNOPSIS
Chris@523 4 A simple manager for third-party source code dependencies.
Chris@523 5 Run "vext help" for more documentation.
Chris@523 6
Chris@523 7 #>
Chris@523 8
Chris@529 9 Set-StrictMode -Version 2.0
Chris@529 10 $ErrorActionPreference = "Stop"
Chris@529 11
Chris@523 12 $sml = $env:VEXT_SML
Chris@523 13
Chris@523 14 $mydir = Split-Path $MyInvocation.MyCommand.Path -Parent
Chris@523 15 $program = "$mydir/vext.sml"
Chris@523 16
Chris@523 17 # We need either Poly/ML or SML/NJ. No great preference as to which.
Chris@523 18
Chris@523 19 if (!$sml) {
Chris@529 20 if (Get-Command "sml" -ErrorAction SilentlyContinue) {
Chris@529 21 $sml = "smlnj"
Chris@529 22 } elseif (Get-Command "polyml" -ErrorAction SilentlyContinue) {
Chris@523 23 $sml = "poly"
Chris@523 24 } else {
Chris@523 25 echo @"
Chris@523 26
Chris@523 27 ERROR: No supported SML compiler or interpreter found
Chris@523 28
Chris@523 29 The Vext external source code manager needs a Standard ML (SML)
Chris@523 30 compiler or interpreter to run.
Chris@523 31
Chris@523 32 Please ensure you have one of the following SML implementations
Chris@523 33 installed and present in your PATH, and try again.
Chris@523 34
Chris@529 35 1. Standard ML of New Jersey
Chris@529 36 - executable name: sml
Chris@529 37
Chris@529 38 2. Poly/ML
Chris@523 39 - executable name: polyml
Chris@523 40
Chris@523 41 "@
Chris@523 42 exit 1
Chris@523 43 }
Chris@523 44 }
Chris@523 45
Chris@529 46 if ($args -match "'""") {
Chris@523 47 $arglist = '["usage"]'
Chris@523 48 } else {
Chris@523 49 $arglist = '["' + ($args -join '","') + '"]'
Chris@523 50 }
Chris@523 51
Chris@523 52 if ($sml -eq "poly") {
Chris@523 53
Chris@523 54 $program = $program -replace "\\","\\\\"
Chris@523 55 echo "use ""$program""; vext $arglist" | polyml -q --error-exit | Out-Host
Chris@523 56
Chris@529 57 if (-not $?) {
Chris@529 58 exit $LastExitCode
Chris@529 59 }
Chris@529 60
Chris@523 61 } elseif ($sml -eq "smlnj") {
Chris@523 62
Chris@523 63 $lines = @(Get-Content $program)
Chris@523 64 $lines = $lines -notmatch "val _ = main ()"
Chris@523 65
Chris@523 66 $intro = @"
Chris@523 67 val smlrun__cp =
Chris@523 68 let val x = !Control.Print.out in
Chris@523 69 Control.Print.out := { say = fn _ => (), flush = fn () => () };
Chris@523 70 x
Chris@523 71 end;
Chris@523 72 val smlrun__prev = ref "";
Chris@523 73 Control.Print.out := {
Chris@523 74 say = fn s =>
Chris@523 75 (if String.isSubstring "Error" s orelse String.isSubstring "Fail" s
Chris@523 76 then (Control.Print.out := smlrun__cp;
Chris@523 77 (#say smlrun__cp) (!smlrun__prev);
Chris@523 78 (#say smlrun__cp) s)
Chris@523 79 else (smlrun__prev := s; ())),
Chris@523 80 flush = fn s => ()
Chris@523 81 };
Chris@523 82 "@ -split "[\r\n]+"
Chris@523 83
Chris@529 84 $outro = @"
Chris@523 85 val _ = vext $arglist;
Chris@523 86 val _ = OS.Process.exit (OS.Process.success);
Chris@523 87 "@ -split "[\r\n]+"
Chris@523 88
Chris@529 89 $script = @()
Chris@529 90 $script += $intro
Chris@529 91 $script += $lines
Chris@529 92 $script += $outro
Chris@523 93
Chris@529 94 $tmpfile = ([System.IO.Path]::GetTempFileName()) -replace "[.]tmp",".sml"
Chris@523 95
Chris@529 96 $script | Out-File -Encoding "ASCII" $tmpfile
Chris@523 97
Chris@529 98 $env:CM_VERBOSE="false"
Chris@523 99
Chris@529 100 sml $tmpfile
Chris@523 101
Chris@529 102 if (-not $?) {
Chris@529 103 del $tmpfile
Chris@529 104 exit $LastExitCode
Chris@529 105 }
Chris@529 106
Chris@529 107 del $tmpfile
Chris@523 108
Chris@523 109 } else {
Chris@523 110
Chris@529 111 "Unknown SML implementation name: $sml"
Chris@529 112 exit 2
Chris@523 113 }