[GAP9-Docker] Compress docker size by deleting gap9-sdk build files

Author: runwangdl

Container/Dockerfile.gap9

@@ -28,11 +28,18 @@ RUN apt-get update && \
     rm -rf /var/lib/apt/lists/*
 
 RUN --mount=type=cache,target=/ccache \
-    ccache -z && make gap9-toolchain 
+    ccache -z && make gap9-toolchain && \
+    rm -rf /app/toolchain/gap9-toolchain 
 
 RUN --mount=type=ssh \
     --mount=type=cache,target=/ccache \
     --mount=type=cache,target=/root/.cache/pip \
     ccache -z && \
     make gap9-sdk && \
-    ccache -s
+    ccache -s && \
+    rm -rf /app/toolchain/gap9-sdk && \
+    rm -rf /app/install/gap9-sdk/build && \
+    rm -rf /app/install/gap9-sdk/.git && \
+    rm -rf /app/install/gap9-sdk/nn_menu && \
+    find /app/install/gap9-sdk -name "*.o" -delete && \
+    find /app/install/gap9-sdk -name "*.a" -not -path "*/lib/*" -delete