CI: check that the static Linux build is indeed static

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

CI: check that the static Linux build is indeed static #784

Closed Tomaqa closed 4 weeks ago

Tomaqa commented 4 weeks ago

We require that the linkage of the produced binary contains no dynamic libraries. For that, we use the exit status of ldd (since it is Linux), which fails if no dynamic libraries are present. Hence we negate the exit status with !.