comparison vext.ps1 @ 1772:128c4544036d

Update Vext
author Chris Cannam
date Fri, 09 Mar 2018 09:00:48 +0000
parents bf4a7015033e
children
comparison
equal deleted inserted replaced
1771:bd14a0f69b60 1772:128c4544036d
6 6
7 #> 7 #>
8 8
9 Set-StrictMode -Version 2.0 9 Set-StrictMode -Version 2.0
10 $ErrorActionPreference = "Stop" 10 $ErrorActionPreference = "Stop"
11 $env:HGPLAIN = "true"
11 12
12 $sml = $env:VEXT_SML 13 $sml = $env:VEXT_SML
13 14
14 $mydir = Split-Path $MyInvocation.MyCommand.Path -Parent 15 $mydir = Split-Path $MyInvocation.MyCommand.Path -Parent
15 $program = "$mydir/vext.sml" 16 $program = "$mydir/vext.sml"
16 17
17 # We need either Poly/ML or SML/NJ. No great preference as to which. 18 # We need either Poly/ML or SML/NJ. No great preference as to which.
19
20 # Typical locations
21 $env:PATH = "$env:PATH;C:\Program Files (x86)\SMLNJ\bin;C:\Program Files\Poly ML;C:\Program Files (x86)\Poly ML"
18 22
19 if (!$sml) { 23 if (!$sml) {
20 if (Get-Command "sml" -ErrorAction SilentlyContinue) { 24 if (Get-Command "sml" -ErrorAction SilentlyContinue) {
21 $sml = "smlnj" 25 $sml = "smlnj"
22 } elseif (Get-Command "polyml" -ErrorAction SilentlyContinue) { 26 } elseif (Get-Command "polyml" -ErrorAction SilentlyContinue) {