jspin.iss

; Script generated by the Inno Setup Script Wizard.
; SEE THE DOCUMENTATION FOR DETAILS ON CREATING INNO SETUP SCRIPT FILES!

[Setup]
AppName=jSpin - Spin Development Environment
AppVerName=jSpin - Version 5.0
AppPublisher=Moti Ben-Ari, Weizmann Institute of Science
AppPublisherURL=http://stwww.weizmann.ac.il/g-cs/benari/jspin/index.html
AppSupportURL=http://stwww.weizmann.ac.il/g-cs/benari/jspin/index.html
AppUpdatesURL=http://stwww.weizmann.ac.il/g-cs/benari/jspin/index.html
DefaultGroupName=jSpin
OutputDir=c:\jspin
DefaultDirName=c:\jspin
AllowNoIcons=yes
LicenseFile=C:\jspin\txt\gpl.txt
SetupIconFile=C:\jspin\jspin.ico
Compression=lzma
SolidCompression=yes

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

[Files]
Source: "C:\jspin\bin\*"; DestDir: "{app}\bin"; Flags: ignoreversion
Source: "C:\jspin\jspin-examples\*.p*"; DestDir: "{app}\jspin-examples"; Flags: ignoreversion
Source: "C:\jspin\spider-examples\*.p*"; DestDir: "{app}\spider-examples"; Flags: ignoreversion
Source: "C:\jspin\txt\*"; DestDir: "{app}\txt"; Flags: ignoreversion
Source: "C:\jspin\jspin\*.java"; DestDir: "{app}\jspin"; Flags: ignoreversion
Source: "C:\jspin\jspin\*.mf"; DestDir: "{app}\jspin"; Flags: ignoreversion
Source: "C:\jspin\spinSpider\*.java"; DestDir: "{app}\spinSpider"; Flags: ignoreversion
Source: "C:\jspin\filterSpin\*.java"; DestDir: "{app}\filterSpin"; Flags: ignoreversion
Source: "C:\jspin\docs\*.png"; DestDir: "{app}\docs"; Flags: ignoreversion
Source: "C:\jspin\docs\*.tex"; DestDir: "{app}\docs"; Flags: ignoreversion
Source: "C:\jspin\docs\*.pdf"; DestDir: "{app}\docs"; Flags: ignoreversion
Source: "C:\jspin\jspin.ico"; DestDir: "{app}"; Flags: ignoreversion
Source: "C:\jspin\jspin.jar"; DestDir: "{app}"; Flags: ignoreversion
Source: "C:\jspin\build.bat"; DestDir: "{app}"; Flags: ignoreversion
Source: "C:\jspin\config.cfg"; DestDir: "{app}"; Flags: ignoreversion
Source: "C:\jspin\run.bat"; DestDir: "{app}"; Flags: ignoreversion
; NOTE: Don't use "Flags: ignoreversion" on any shared system files

[Icons]
Name: "{group}\jSpin";  Filename: "{app}\run.bat"; IconFilename: "{app}\jspin.ico"; WorkingDir: "{app}"
Name: "{group}\jSpin User's Guide"; Filename: "{app}\docs\jspin-user.pdf"
Name: "{group}\Website"; Filename: "http://stwww.weizmann.ac.il/g-cs/benari/jspin/index.html"
Name: "{group}\Uninstall jSpin"; Filename: "{uninstallexe}"
Name: "{userdesktop}\jSpin"; Filename: "{app}\run.bat"; IconFilename: "{app}\jspin.ico"; WorkingDir: "{app}"