gzip the pgo profile

Author: timfel

ci.jsonnet

@@ -234,7 +234,7 @@
             "linux:amd64:jdk-latest"     : weekly + t("01:30:00") + task_spec({
                 run: [["mx", "python-native-pgo"]],
                 logs+: [
-                    "default.iprof",
+                    "default.iprof.gz",
                     "default.lcov",
                 ],
             }),

mx.graalpython/mx_graalpython.py

@@ -28,6 +28,7 @@
 import datetime
 import fnmatch
 import glob
+import gzip
 import itertools
 import os
 import pathlib
@@ -47,9 +48,6 @@
 import mx_graalpython_benchmark
 import mx_urlrewrites
 
-if sys.version_info[0] < 3:
-    raise RuntimeError("The build scripts are no longer compatible with Python 2")
-
 import tempfile
 from argparse import ArgumentParser
 from dataclasses import dataclass
@@ -365,6 +363,11 @@ def graalpy_native_pgo_build_and_test(_):
 
     mx.log(mx.colorize(f"[PGO] Optimized PGO build complete: {native_bin}", color="yellow"))
 
+    iprof_gz_path = str(iprof_path) + '.gz'
+    with open(iprof_path, 'rb') as f_in, gzip.open(iprof_gz_path, 'wb') as f_out:
+        shutil.copyfileobj(f_in, f_out)
+    mx.log(mx.colorize(f"[PGO] Gzipped profile at: {iprof_gz_path}", color="yellow"))
+
 
 def full_python(args, env=None):
     """Run python from standalone build (unless kwargs are given). Does not build GraalPython sources automatically."""