diff options
author | sheaf <sam.derbyshire@gmail.com> | 2022-08-12 14:38:31 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-30 06:05:41 -0400 |
commit | 0154bc80b3648af15ef431cf0cf99e3cbbd881f6 (patch) | |
tree | 4fc4e046cd3e7d5ce305e700337e81c28592e200 /hadrian | |
parent | cbe51ac5e0bbe2667b6c7204ae62a534a9bc7c95 (diff) | |
download | haskell-0154bc80b3648af15ef431cf0cf99e3cbbd881f6.tar.gz |
Various Hadrian bootstrapping fixes
- Don't always produce a distribution archive (#21629)
- Use correct executable names for ghc-pkg and hsc2hs on windows
(we were missing the .exe file extension)
- Fix a bug where we weren't using the right archive format on Windows
when unpacking the bootstrap sources.
Fixes #21629
Diffstat (limited to 'hadrian')
-rwxr-xr-x | hadrian/bootstrap/bootstrap.py | 36 |
1 files changed, 22 insertions, 14 deletions
diff --git a/hadrian/bootstrap/bootstrap.py b/hadrian/bootstrap/bootstrap.py index f279041ec6..b997cbc916 100755 --- a/hadrian/bootstrap/bootstrap.py +++ b/hadrian/bootstrap/bootstrap.py @@ -86,14 +86,17 @@ class Compiler: self.ghc_path = ghc_path.resolve() + exe = '' + if platform.system() == 'Windows': exe = '.exe' + info = self._get_ghc_info() self.version = info['Project version'] #self.lib_dir = Path(info['LibDir']) #self.ghc_pkg_path = (self.lib_dir / 'bin' / 'ghc-pkg').resolve() - self.ghc_pkg_path = (self.ghc_path.parent / 'ghc-pkg').resolve() + self.ghc_pkg_path = (self.ghc_path.parent / ('ghc-pkg' + exe)).resolve() if not self.ghc_pkg_path.is_file(): raise TypeError(f'ghc-pkg {self.ghc_pkg_path} is not a file') - self.hsc2hs_path = (self.ghc_path.parent / 'hsc2hs').resolve() + self.hsc2hs_path = (self.ghc_path.parent / ('hsc2hs' + exe)).resolve() if not self.hsc2hs_path.is_file(): raise TypeError(f'hsc2hs {self.hsc2hs_path} is not a file') @@ -367,6 +370,11 @@ def main() -> None: help='path to GHC') parser.add_argument('-s', '--bootstrap-sources', type=Path, help='Path to prefetched bootstrap sources tarball') + parser.add_argument('--archive', dest='want_archive', action='store_true', + help='produce a Hadrian distribution archive (default)') + parser.add_argument('--no-archive', dest='want_archive', action='store_false', + help='do not produce a Hadrian distribution archive') + parser.set_defaults(want_archive=True) subparsers = parser.add_subparsers(dest="command") @@ -381,6 +389,9 @@ def main() -> None: ghc = None + sources_fmt = 'gztar' # The archive format for the bootstrap sources archive. + if platform.system() == 'Windows': sources_fmt = 'zip' + if args.deps is None: if args.bootstrap_sources is None: # find appropriate plan in the same directory as the script @@ -390,7 +401,7 @@ def main() -> None: # We have a tarball with all the required information, unpack it and use for further elif args.bootstrap_sources is not None and args.command != 'list-sources': print(f'Unpacking {args.bootstrap_sources} to {TARBALLS}') - shutil.unpack_archive(args.bootstrap_sources.resolve(), TARBALLS, 'gztar') + shutil.unpack_archive(args.bootstrap_sources.resolve(), TARBALLS, sources_fmt) args.deps = TARBALLS / 'plan-bootstrap.json' print(f"using plan-bootstrap.json ({args.deps}) from {args.bootstrap_sources}") else: @@ -428,10 +439,7 @@ def main() -> None: shutil.copyfile(args.deps, rootdir / 'plan-bootstrap.json') - fmt = 'gztar' - if platform.system() == 'Windows': fmt = 'zip' - - archivename = shutil.make_archive(args.output, fmt, root_dir=rootdir) + archivename = shutil.make_archive(args.output, sources_fmt, root_dir=rootdir) print(f""" Bootstrap sources saved to {archivename} @@ -475,21 +483,21 @@ Alternatively, you could use `bootstrap.py -w {ghc.ghc_path} -d {args.deps} fetc bootstrap(info, ghc) hadrian_path = (BINDIR / 'hadrian').resolve() - archive = make_archive(hadrian_path) - print(dedent(f''' Bootstrapping finished! The resulting hadrian executable can be found at {hadrian_path} + ''')) - It has been archived for distribution in - - {archive} + if args.want_archive: + dist_archive = make_archive(hadrian_path) + print(dedent(f''' + The Hadrian executable has been archived for distribution in - You can use this executable to build GHC. - ''')) + {dist_archive} + ''')) else: print(f"No such command: {args.command}") |