Fix windows installer path (#854)

GaloisInc · Aug 5, 2020 · 3bec6cd · 3bec6cd
1 parent f31ad90
commit 3bec6cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/win32/cryptol.wxs b/win32/cryptol.wxs
@@ -32,7 +32,7 @@
             <Shortcut Id="startmenuCryptol"
                       Name="Cryptol $(var.version)"
                       WorkingDirectory='INSTALLDIR'
-                      Target="[INSTALLDIR]\bin\cryptol.exe"
+                      Target="[INSTALLDIR]\dist\bin\cryptol.exe"
                       Icon="crypto.ico"
                       IconIndex="0" />
             <!-- <Shortcut Id="startmenuTutorial" -->
@@ -56,7 +56,7 @@
 
     <DirectoryRef Id="TARGETDIR">
       <Component Id="Path" Guid="4D7F78E6-DA16-4C1B-96C4-B33C87502C81">
-        <Environment Id="PATH" Name="PATH" Value="[INSTALLDIR]\bin" Permanent="no" Part="last" Action="set" System="no" />
+        <Environment Id="PATH" Name="PATH" Value="[INSTALLDIR]\dist\bin" Permanent="no" Part="last" Action="set" System="no" />
       </Component>
     </DirectoryRef>