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

[Andrea Mattavelli]

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 <thuanpv at comp.nus.edu.sg> wrote:
> 
> FYI, the same issue happens while configuring Coreutils-6.11.
> 
> On Fri, Nov 11, 2016 at 4:33 PM, Thuan Pham <thuanpv at comp.nus.edu.sg <mailto:thuanpv at comp.nus.edu.sg>> 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 the tutorial at https://klee.github.io/tutorials/testing-coreutils/ <https://klee.github.io/tutorials/testing-coreutils/>. However, I got an error when I run configure. It looks quite strange.
> 
> ....
> config.status: executing po-directories commands
> config.status: creating po/POTFILES
> config.status: creating po/Makefile
> rm: cannot remove 'confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/..................': File name too long
> 
> I have not faced this issue in normal Ubuntu 32-bit & 64-bit systems.
> Anyone has similar issue?
> Thanks,
> Thuan
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed