File: Win32-v05.iss

package info (click to toggle)
p9m4 0.5.dfsg-3
  • links: PTS
  • area: main
  • in suites: buster, stretch
  • size: 664 kB
  • ctags: 296
  • sloc: python: 2,909; makefile: 21; csh: 7
file content (64 lines) | stat: -rwxr-xr-x 4,184 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
; Script generated by the Inno Setup Script Wizard.
; SEE THE DOCUMENTATION FOR DETAILS ON CREATING INNO SETUP SCRIPT FILES!

#define MyAppName "Prover9-Mace4"
#define MyAppVerName "Prover9-Mace4 v0.5"
#define MyAppPublisher "WWM"
#define MyAppURL "http://www.prover9.org"
#define MyAppExeName "prover9-mace4.exe"

[Setup]
AppName={#MyAppName}
AppVerName={#MyAppVerName}
AppPublisher={#MyAppPublisher}
AppPublisherURL={#MyAppURL}
AppSupportURL={#MyAppURL}
AppUpdatesURL={#MyAppURL}
DefaultDirName={pf}\{#MyAppName}
DefaultGroupName={#MyAppName}
OutputBaseFilename=prover9-mace4-v05-setup.exe
Compression=lzma
SolidCompression=yes

[Languages]
Name: english; MessagesFile: compiler:Default.isl

[Tasks]
Name: desktopicon; Description: {cm:CreateDesktopIcon}; GroupDescription: {cm:AdditionalIcons}; Flags: unchecked

[Files]
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\prover9-mace4.exe; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\Images\*; DestDir: {app}\Images; Flags: ignoreversion recursesubdirs createallsubdirs
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\Samples\*; DestDir: {app}\Samples; Flags: ignoreversion recursesubdirs createallsubdirs
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\bin-win32\*; DestDir: {app}\bin-win32; Flags: ignoreversion recursesubdirs createallsubdirs
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\_controls_.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\_core_.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\_gdi_.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\_misc_.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\_windows_.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\bz2.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\gdiplus.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\library.zip; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\MSVCR71.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\python25.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\pywintypes25.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\select.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\unicodedata.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\w9xpopen.exe; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\win32api.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\win32process.pyd; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\wxbase28h_net_vc.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\wxbase28h_vc.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\wxmsw28h_adv_vc.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\wxmsw28h_core_vc.dll; DestDir: {app}; Flags: ignoreversion
Source: C:\Documents and Settings\Bill\Desktop\v5\dist\wxmsw28h_html_vc.dll; DestDir: {app}; Flags: ignoreversion
; NOTE: Don't use "Flags: ignoreversion" on any shared system files

[Icons]
Name: {group}\{#MyAppName}; Filename: {app}\{#MyAppExeName}
Name: {group}\{cm:ProgramOnTheWeb,{#MyAppName}}; Filename: {#MyAppURL}
Name: {group}\{cm:UninstallProgram,{#MyAppName}}; Filename: {uninstallexe}
Name: {commondesktop}\{#MyAppName}; Filename: {app}\{#MyAppExeName}; Tasks: desktopicon

[Run]
Filename: {app}\{#MyAppExeName}; Description: {cm:LaunchProgram,{#MyAppName}}; Flags: nowait postinstall skipifsilent