After ./confugure with --disable-all-staff options, make holds (#1622) · Issues · pub / frama-c