Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image

On 11 November 2016 at 08:41, Thuan Pham wrote: > FYI, the same issue happens while configuring Coreutils-6.11. > > On Fri, Nov 11, 2016 at 4:33 PM, Thuan Pham wrote: >> >> Dear all, >> I am trying to reproduce results of KLEE OSDI'08 paper on

Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image

Hi Thuan, the failure only is not enough to understand the issue. Can you please share some more info, for example how you invoke ./configure? Best, Andrea > On 11 Nov 2016, at 08:41, Thuan Pham wrote: > > FYI, the same issue happens while configuring Coreutils-6.11.

Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image

FYI, the same issue happens while configuring Coreutils-6.11. On Fri, Nov 11, 2016 at 4:33 PM, Thuan Pham wrote: > Dear all, > I am trying to reproduce results of KLEE OSDI'08 paper on the Docker image > provided on KLEE website. I downloaded Coreutils 6.10 and followed