File: Win32.README

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 (43 lines) | stat: -rw-r--r-- 1,342 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
py2exe (Win32)

Use a setup file like this (say Win32-setup.py):

######
from distutils.core import setup
import py2exe

setup(windows=[{'script' : 'prover9-mace4.py',
                'icon_resources' : [(1, 'p9-48.ico')]}],
      data_files=[
                  #('Images', ['Images/prover9-5a-128t.gif'])
                 ])
#######

(One can specify the data_files, but it seems kind of
complicated, and I don't see a big advantage.)

Run
     python Win32-setup.py py2exe
     
Copy Images, Samples, bin-win32 to dist

copy gdiplus.dll to dist:

  copy c:\Python25\lib\site-packages\wx-2.8-msw-ansi\wx\gdiplus.dll dist
  
If nothing substantial has changed, run the old Win32.iss file to
bild the installation package.  Otherwise,
  
Run Inno Setup

   "New" starts Wizard:
      1. App name (exe)
      2. Add folders  Images, Samples, bin-win32
      3. Add files (all but 3 folder above and main .exe)
      4. Select option for uninstall icon in main menu.
      5. Name the setup file (like prover9-mace4-setup.exe)
      
    Now, the subriectories (Images, etc.) probably aren't right.
    Make them like this:
    Source: C:\Documents and Settings\Bill\Desktop\v4\dist\Samples\*; DestDir: {app}\Samples; Flags: ignoreversion recursesubdirs createallsubdirs
    Compile setup (meat grinder)