Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present. (#2508) · Issues · pub / frama-c