diff --git a/docker/Dockerfile b/docker/Dockerfile index 84129a9332e3b7699df9968599c7ac07182564e4..7c010e0c41f896a649e3a817501358cb58eb9190 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -15,10 +15,6 @@ RUN apt-get update && \ libjs-jquery-tablesorter \ texlive-latex-extra \ dvipng \ - python3-dev \ - python3-setuptools \ - python3-pip \ - python3-wheel \ python3-tk \ && apt-get clean \ && rm -rf /var/lib/apt/lists/* diff --git a/setup.py b/setup.py index 020992a108c922ed2c8f46885c6842e3aa70ef2a..b11ac1a56108e14d0bfed1b983b7960ff9f6f5a9 100755 --- a/setup.py +++ b/setup.py @@ -156,7 +156,7 @@ def clean_stale_cmake_cache(): recorded_source = os.path.abspath(match.group(1)) actual_source = os.path.abspath(".") if recorded_source != actual_source: - print(f"🧹 Detected stale CMake cache (was: {recorded_source})") + print("Detected stale CMake cache (was: {})".format(recorded_source)) print("Removing 'build/' to avoid CMake path conflict.") shutil.rmtree("build", ignore_errors=True)