shenleiandClaude Opus 5
5fad769ee8
The embedded 40250 script layer needs its own interpreter on five platforms. 2.7 is end-of-life, so nothing can be fetched from the target SDKs and the source is vendored (official 2.7.18 tarball, trimmed to 25MB; Lib/ stays for step 3's python27.zip). cpython-2.7.18/CMakeLists.txt builds one `mtpython` static library from exactly the 133 objects the reference libpython2.7.a contains, off by default behind -DMTGODOT_EMBED_PYTHON=ON. The source list and the built-in module table (config/config.c, 39 entries) are shared; pyconfig.h is a probe result and is not, so each platform keeps its own under config/<platform>/, regenerated by tools/py_embed/gen_pyconfig.sh and checked against the shared table. Three vendor patches, documented in docs/THIRD-PARTY.md: configure/configure.ac learn arm64 on macOS, and posixmodule.c undefines the process-control calls it hard-defines past pyconfig.h when building for iOS. macOS (ctest python.embed: every builtin imports, codecs and pickle work off the vendored Lib/), Android arm64 and iOS arm64 build. Linux needs a Linux host and Windows needs a MinGW-vs-MSVC decision; both are noted for step 4. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
69 lines
2.4 KiB
Python
69 lines
2.4 KiB
Python
"""Convert a NT pathname to a file URL and vice versa."""
|
|
|
|
def url2pathname(url):
|
|
"""OS-specific conversion from a relative URL of the 'file' scheme
|
|
to a file system path; not recommended for general use."""
|
|
# e.g.
|
|
# ///C|/foo/bar/spam.foo
|
|
# and
|
|
# ///C:/foo/bar/spam.foo
|
|
# become
|
|
# C:\foo\bar\spam.foo
|
|
import string, urllib
|
|
# Windows itself uses ":" even in URLs.
|
|
url = url.replace(':', '|')
|
|
if not '|' in url:
|
|
# No drive specifier, just convert slashes
|
|
if url[:4] == '////':
|
|
# path is something like ////host/path/on/remote/host
|
|
# convert this to \\host\path\on\remote\host
|
|
# (notice halving of slashes at the start of the path)
|
|
url = url[2:]
|
|
components = url.split('/')
|
|
# make sure not to convert quoted slashes :-)
|
|
return urllib.unquote('\\'.join(components))
|
|
comp = url.split('|')
|
|
if len(comp) != 2 or comp[0][-1] not in string.ascii_letters:
|
|
error = 'Bad URL: ' + url
|
|
raise IOError, error
|
|
drive = comp[0][-1].upper()
|
|
path = drive + ':'
|
|
components = comp[1].split('/')
|
|
for comp in components:
|
|
if comp:
|
|
path = path + '\\' + urllib.unquote(comp)
|
|
# Issue #11474: url like '/C|/' should convert into 'C:\\'
|
|
if path.endswith(':') and url.endswith('/'):
|
|
path += '\\'
|
|
return path
|
|
|
|
def pathname2url(p):
|
|
"""OS-specific conversion from a file system path to a relative URL
|
|
of the 'file' scheme; not recommended for general use."""
|
|
# e.g.
|
|
# C:\foo\bar\spam.foo
|
|
# becomes
|
|
# ///C:/foo/bar/spam.foo
|
|
import urllib
|
|
if not ':' in p:
|
|
# No drive specifier, just convert slashes and quote the name
|
|
if p[:2] == '\\\\':
|
|
# path is something like \\host\path\on\remote\host
|
|
# convert this to ////host/path/on/remote/host
|
|
# (notice doubling of slashes at the start of the path)
|
|
p = '\\\\' + p
|
|
components = p.split('\\')
|
|
return urllib.quote('/'.join(components))
|
|
comp = p.split(':')
|
|
if len(comp) != 2 or len(comp[0]) > 1:
|
|
error = 'Bad path: ' + p
|
|
raise IOError, error
|
|
|
|
drive = urllib.quote(comp[0].upper())
|
|
components = comp[1].split('\\')
|
|
path = '///' + drive + ':'
|
|
for comp in components:
|
|
if comp:
|
|
path = path + '/' + urllib.quote(comp)
|
|
return path
|