Subject: [bug#72106] [PATCH v3 4/5] gnu: klee: Only build on x86_64 Linux.

From: Sören Tempel <[email-masked]>
Date: Sat, 27 Jul 2024 11:13:57 +0200

Liliana Marie Prikler <[email-masked]> wrote:
> To recall, i386 does not work?

Yes, i386 does not work as KLEE assumes a 64-bit pointer representation.

Liliana Marie Prikler <[email-masked]> wrote:
> Why not consolidate these into a single 'wrap phase?

Good idea, I consolidated everything into a single 'wrap phase.
Additionally, I also consolidated the patching into a single
'patch phase.

Best,
Sören