diff vext.ps1 @ 1772:128c4544036d

Update Vext
author Chris Cannam
date Fri, 09 Mar 2018 09:00:48 +0000
parents bf4a7015033e
children
line wrap: on
line diff
--- a/vext.ps1	Mon Feb 26 14:30:37 2018 +0000
+++ b/vext.ps1	Fri Mar 09 09:00:48 2018 +0000
@@ -8,6 +8,7 @@
 
 Set-StrictMode -Version 2.0
 $ErrorActionPreference = "Stop"
+$env:HGPLAIN = "true"
 
 $sml = $env:VEXT_SML
 
@@ -16,6 +17,9 @@
 
 # We need either Poly/ML or SML/NJ. No great preference as to which.
 
+# Typical locations
+$env:PATH = "$env:PATH;C:\Program Files (x86)\SMLNJ\bin;C:\Program Files\Poly ML;C:\Program Files (x86)\Poly ML"
+
 if (!$sml) {
     if (Get-Command "sml" -ErrorAction SilentlyContinue) {
        $sml = "smlnj"