Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 1 | #! /usr/local/bin/python |
| 2 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 3 | # "Freeze" a Python script into a binary. |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 4 | # Usage: see variable usage_msg below (before the imports!) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 5 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 6 | # HINTS: |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 7 | # - Edit the lines marked XXX below to localize. |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 8 | # - You must have done "make inclinstall libainstall" in the Python |
| 9 | # build directory. |
| 10 | # - The script should not use dynamically loaded modules |
| 11 | # (*.so on most systems). |
| 12 | |
| 13 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 14 | # Usage message |
| 15 | |
| 16 | usage_msg = """ |
| 17 | usage: freeze [-p prefix] [-e extension] ... script [module] ... |
| 18 | |
| 19 | -p prefix: This is the prefix used when you ran |
| 20 | 'Make inclinstall libainstall' in the Python build directory. |
| 21 | (If you never ran this, freeze won't work.) |
| 22 | The default is /usr/local. |
| 23 | |
| 24 | -e extension: A directory containing additional .o files that |
| 25 | may be used to resolve modules. This directory |
| 26 | should also have a Setup file describing the .o files. |
| 27 | More than one -e option may be given. |
| 28 | |
| 29 | script: The Python script to be executed by the resulting binary. |
| 30 | |
| 31 | module ...: Additional Python modules (referenced by pathname) |
| 32 | that will be included in the resulting binary. These |
| 33 | may be .py or .pyc files. |
| 34 | """ |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 35 | |
| 36 | |
Guido van Rossum | 309e8ac | 1995-03-02 15:54:21 +0000 | [diff] [blame^] | 37 | # XXX Change the following line to point to your Tools/freeze directory |
| 38 | PACK = '/ufs/guido/src/python/Tools/freeze' |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 39 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 40 | # XXX Change the following line to point to your install prefix |
| 41 | PREFIX = '/usr/local' |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 42 | |
| 43 | |
| 44 | # Import standard modules |
| 45 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 46 | import cmp |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 47 | import getopt |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 48 | import os |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 49 | import string |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 50 | import sys |
| 51 | import addpack |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 52 | |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 53 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 54 | # Set the directory to look for the freeze-private modules |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 55 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 56 | dir = os.path.dirname(sys.argv[0]) |
| 57 | if dir: |
| 58 | pack = dir |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 59 | else: |
| 60 | pack = PACK |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 61 | addpack.addpack(pack) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 62 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 63 | |
| 64 | # Import the freeze-private modules |
| 65 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 66 | import checkextensions |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 67 | import findmodules |
| 68 | import makeconfig |
| 69 | import makefreeze |
| 70 | import makemakefile |
| 71 | import parsesetup |
| 72 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 73 | |
| 74 | # Main program |
| 75 | |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 76 | def main(): |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 77 | # overridable context |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 78 | prefix = PREFIX # settable with -p option |
| 79 | extensions = [] |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 80 | path = sys.path |
| 81 | |
| 82 | # output files |
| 83 | frozen_c = 'frozen.c' |
| 84 | config_c = 'config.c' |
| 85 | target = 'a.out' # normally derived from script name |
| 86 | makefile = 'Makefile' |
| 87 | |
| 88 | # parse command line |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 89 | try: |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 90 | opts, args = getopt.getopt(sys.argv[1:], 'e:p:') |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 91 | except getopt.error, msg: |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 92 | usage('getopt error: ' + str(msg)) |
| 93 | |
| 94 | # proces option arguments |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 95 | for o, a in opts: |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 96 | if o == '-e': |
| 97 | extensions.append(a) |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 98 | if o == '-p': |
| 99 | prefix = a |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 100 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 101 | # locations derived from options |
| 102 | binlib = os.path.join(prefix, 'lib/python/lib') |
| 103 | incldir = os.path.join(prefix, 'include/Py') |
| 104 | config_c_in = os.path.join(binlib, 'config.c.in') |
| 105 | frozenmain_c = os.path.join(binlib, 'frozenmain.c') |
| 106 | makefile_in = os.path.join(binlib, 'Makefile') |
| 107 | defines = ['-DHAVE_CONFIG_H', '-DUSE_FROZEN', '-DNO_MAIN', |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 108 | '-DPYTHONPATH=\\"$(PYTHONPATH)\\"'] |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 109 | includes = ['-I' + incldir, '-I' + binlib] |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 110 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 111 | # sanity check of directories and files |
| 112 | for dir in [prefix, binlib, incldir] + extensions: |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 113 | if not os.path.exists(dir): |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 114 | usage('needed directory %s not found' % dir) |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 115 | if not os.path.isdir(dir): |
| 116 | usage('%s: not a directory' % dir) |
| 117 | for file in config_c_in, makefile_in, frozenmain_c: |
| 118 | if not os.path.exists(file): |
| 119 | usage('needed file %s not found' % file) |
| 120 | if not os.path.isfile(file): |
| 121 | usage('%s: not a plain file' % file) |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 122 | for dir in extensions: |
| 123 | setup = os.path.join(dir, 'Setup') |
| 124 | if not os.path.exists(setup): |
| 125 | usage('needed file %s not found' % setup) |
| 126 | if not os.path.isfile(setup): |
| 127 | usage('%s: not a plain file' % setup) |
| 128 | |
| 129 | # check that enough arguments are passed |
| 130 | if not args: |
| 131 | usage('at least one filename argument required') |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 132 | |
| 133 | # check that file arguments exist |
| 134 | for arg in args: |
| 135 | if not os.path.exists(arg): |
| 136 | usage('argument %s not found' % arg) |
| 137 | if not os.path.isfile(arg): |
| 138 | usage('%s: not a plain file' % arg) |
| 139 | |
| 140 | # process non-option arguments |
| 141 | scriptfile = args[0] |
| 142 | modules = args[1:] |
| 143 | |
| 144 | # derive target name from script name |
| 145 | base = os.path.basename(scriptfile) |
| 146 | base, ext = os.path.splitext(base) |
| 147 | if base: |
| 148 | if base != scriptfile: |
| 149 | target = base |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 150 | else: |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 151 | target = base + '.bin' |
| 152 | |
| 153 | # Actual work starts here... |
| 154 | |
| 155 | dict = findmodules.findmodules(scriptfile, modules, path) |
| 156 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 157 | backup = frozen_c + '~' |
| 158 | try: |
| 159 | os.rename(frozen_c, backup) |
| 160 | except os.error: |
| 161 | backup = None |
| 162 | outfp = open(frozen_c, 'w') |
| 163 | try: |
| 164 | makefreeze.makefreeze(outfp, dict) |
| 165 | finally: |
| 166 | outfp.close() |
| 167 | if backup: |
| 168 | if cmp.cmp(backup, frozen_c): |
| 169 | sys.stderr.write('%s not changed, not written\n' % |
| 170 | frozen_c) |
| 171 | os.rename(backup, frozen_c) |
| 172 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 173 | builtins = [] |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 174 | unknown = [] |
Guido van Rossum | 619e1be | 1994-10-03 16:37:36 +0000 | [diff] [blame] | 175 | mods = dict.keys() |
| 176 | mods.sort() |
| 177 | for mod in mods: |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 178 | if dict[mod] == '<builtin>': |
| 179 | builtins.append(mod) |
Guido van Rossum | 619e1be | 1994-10-03 16:37:36 +0000 | [diff] [blame] | 180 | elif dict[mod] == '<unknown>': |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 181 | unknown.append(mod) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 182 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 183 | addfiles = [] |
| 184 | if unknown: |
| 185 | addfiles, addmods = \ |
| 186 | checkextensions.checkextensions(unknown, extensions) |
| 187 | for mod in addmods: |
| 188 | unknown.remove(mod) |
| 189 | builtins = builtins + addmods |
| 190 | if unknown: |
| 191 | sys.stderr.write('Warning: unknown modules remain: %s\n' % |
| 192 | string.join(unknown)) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 193 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 194 | builtins.sort() |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 195 | infp = open(config_c_in) |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 196 | backup = config_c + '~' |
| 197 | try: |
| 198 | os.rename(config_c, backup) |
| 199 | except os.error: |
| 200 | backup = None |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 201 | outfp = open(config_c, 'w') |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 202 | try: |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 203 | makeconfig.makeconfig(infp, outfp, builtins) |
| 204 | finally: |
| 205 | outfp.close() |
| 206 | infp.close() |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 207 | if backup: |
| 208 | if cmp.cmp(backup, config_c): |
| 209 | sys.stderr.write('%s not changed, not written\n' % |
| 210 | config_c) |
| 211 | os.rename(backup, config_c) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 212 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 213 | cflags = defines + includes + ['$(OPT)'] |
| 214 | libs = [] |
| 215 | for n in 'Modules', 'Python', 'Objects', 'Parser': |
| 216 | n = 'lib%s.a' % n |
| 217 | n = os.path.join(binlib, n) |
| 218 | libs.append(n) |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 219 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 220 | makevars = parsesetup.getmakevars(makefile_in) |
| 221 | somevars = {} |
| 222 | for key in makevars.keys(): |
| 223 | somevars[key] = makevars[key] |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 224 | |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 225 | somevars['CFLAGS'] = string.join(cflags) # override |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 226 | files = ['$(OPT)', config_c, frozen_c, frozenmain_c] + \ |
| 227 | addfiles + libs + \ |
Guido van Rossum | 00ff433 | 1994-10-03 16:33:08 +0000 | [diff] [blame] | 228 | ['$(MODLIBS)', '$(LIBS)', '$(SYSLIBS)'] |
| 229 | |
| 230 | outfp = open(makefile, 'w') |
| 231 | try: |
| 232 | makemakefile.makemakefile(outfp, somevars, files, target) |
| 233 | finally: |
| 234 | outfp.close() |
| 235 | |
| 236 | # Done! |
| 237 | |
| 238 | print 'Now run make to build the target:', target |
| 239 | |
Guido van Rossum | d8336c2 | 1994-10-05 16:13:01 +0000 | [diff] [blame] | 240 | |
| 241 | # Print usage message and exit |
| 242 | |
| 243 | def usage(msg = None): |
| 244 | if msg: |
| 245 | sys.stderr.write(str(msg) + '\n') |
| 246 | sys.stderr.write(usage_msg) |
| 247 | sys.exit(2) |
| 248 | |
| 249 | |
Guido van Rossum | dbaf332 | 1994-10-03 10:25:54 +0000 | [diff] [blame] | 250 | main() |