We ship dice-util and verifier-cli to the programming stations in a package. We build the binaries with:
cargo build --release --locked \
--bin dice-mfg \
--bin verifier-cli
Unfortunately this now produces a verifier-cli that depends on libipcc.so.1. There is no IPCC interface available on the programming stations, so this ought not to be necessary.
$ elfdump -d target/release/verifier-cli | grep NEED
[0] NEEDED 0x14dd71 libipcc.so.1
[1] NEEDED 0x14dd8d libsocket.so.1
[2] NEEDED 0x14ddcc librt.so.1
[3] NEEDED 0x14dde0 libpthread.so.1
[4] NEEDED 0x14ddf9 libnsl.so.1
[5] NEEDED 0x14de15 libumem.so.1
[6] NEEDED 0x14de22 libgcc_s.so.1
[7] NEEDED 0x14de4a libc.so.1
[23] VERNEED 0x60b6e0
[24] VERNEEDNUM 0x8
We ship dice-util and verifier-cli to the programming stations in a package. We build the binaries with:
cargo build --release --locked \ --bin dice-mfg \ --bin verifier-cliUnfortunately this now produces a verifier-cli that depends on libipcc.so.1. There is no IPCC interface available on the programming stations, so this ought not to be necessary.