author | wenzelm |
Wed, 16 Mar 2016 22:19:08 +0100 | |
changeset 62645 | a2351f82bc48 |
parent 53419 | 1c87e79bb838 |
child 70249 | 4ce07be8ba17 |
permissions | -rw-r--r-- |
47838 | 1 |
;!@Install@!UTF-8! |
2 |
GUIFlags="64" |
|
3 |
InstallPath="%UserDesktop%" |
|
52670
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52502
diff
changeset
|
4 |
BeginPrompt="Unpack {ISABELLE_NAME}?" |
52502
bae8f472474e
allow choice of target directory (again, see also 58e2d0cd81ae);
wenzelm
parents:
51076
diff
changeset
|
5 |
ExtractPathText="Target directory" |
52670
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52502
diff
changeset
|
6 |
ExtractTitle="Unpacking {ISABELLE_NAME} ..." |
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52502
diff
changeset
|
7 |
Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}" |
53419
1c87e79bb838
main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
wenzelm
parents:
52676
diff
changeset
|
8 |
RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\"" |
47838 | 9 |
;!@InstallEnd@! |