@User: Ok, can I get the sky130A.tech, sky130A.tcl and sky130A.magicrc in a downloadable place then (or shipped with magic)? I want to use them inside another docker container, and I dont want to download and build the whole open_pdks, the docker container is already 4GB and I would like to get the size down…

open_pdks is not very big if you don't clone all the .git contents. And as I said, you don't need to build the whole open_pdks; you just build the tool setups, install, and you're done. The most recent open_pdks version lets you disable the PDK install and any tools that you don't want to install, so doing "make" from the top would just make the setup files for magic, which is exactly what you want.

If you do the download, build, and delete all in the same RUN command, it won't inflate the layers