Admin/Windows/Installer/sfx.txt
author wenzelm
Tue, 16 Jan 2018 09:58:17 +0100
changeset 67445 4311845b0412
parent 53419 1c87e79bb838
child 70249 4ce07be8ba17
permissions -rw-r--r--
tuned document;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47838
47d213b10fd7 basic setup for self-extracting 7zip installer;
wenzelm
parents:
diff changeset
     1
;!@Install@!UTF-8!
47d213b10fd7 basic setup for self-extracting 7zip installer;
wenzelm
parents:
diff changeset
     2
GUIFlags="64"
47d213b10fd7 basic setup for self-extracting 7zip installer;
wenzelm
parents:
diff changeset
     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
47d213b10fd7 basic setup for self-extracting 7zip installer;
wenzelm
parents:
diff changeset
     9
;!@InstallEnd@!