artiq-zynq/src/satman/build.rs