add a small comment for linkify-it-py

TRIQS · Dec 22, 2023 · f787935 · f787935
1 parent 29ed593
commit f787935
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/Docker/github_ci_dockerfile b/Docker/github_ci_dockerfile
@@ -54,6 +54,8 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
       apt-get autoclean -y && \
       rm -rf /var/cache/apt/* /var/lib/apt/lists/*
 
+# linkify-it-py (required by sphinx doc build) is not available in Ubuntu 22.04 as package
+# the following manually installs it and its only dependency micro-py
 RUN mkdir -p /src && cd /src \
  && curl -LOOO http://archive.ubuntu.com/ubuntu/pool/universe/u/uc-micro-py/uc-micro-py_1.0.1{-3.dsc,.orig.tar.xz,-3.debian.tar.xz} \
  && dpkg-source -x uc-micro-py_1.0.1-3.dsc \

diff --git a/Docker/openmpi_dockerfile b/Docker/openmpi_dockerfile
@@ -67,6 +67,8 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins
       apt-get autoclean -y && \
       rm -rf /var/cache/apt/* /var/lib/apt/lists/*
 
+# linkify-it-py (required by sphinx doc build) is not available in Ubuntu 22.04 as package
+# the following manually installs it and its only dependency micro-py
 RUN mkdir -p /src && cd /src \
  && curl -LOOO http://archive.ubuntu.com/ubuntu/pool/universe/u/uc-micro-py/uc-micro-py_1.0.1{-3.dsc,.orig.tar.xz,-3.debian.tar.xz} \
  && dpkg-source -x uc-micro-py_1.0.1-3.dsc \