From 0ed188c06ec423d1c5e8dab554e9cbfcbd0a1939 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 20 May 2014 12:16:23 +0000
Subject: [PATCH] Make NSIS installer creator use correct "Program Files"
 depending on 32/64-bit-ness.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8239 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/nsis_script.nsi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/nsis_script.nsi b/prism/src/nsis_script.nsi
index 589e6a08..310e923f 100644
--- a/prism/src/nsis_script.nsi
+++ b/prism/src/nsis_script.nsi
@@ -32,7 +32,7 @@ CRCCheck        on
 LicenseText     "For your information:" "Next >"
 LicenseData     "${PRISM_DIR}COPYING.txt"
 
-InstallDir      "$PROGRAMFILES\${PRISM_BUILD}"
+InstallDir      "$PROGRAMFILES64\${PRISM_BUILD}"
 
 SubCaption		0 ": Licensing Information"