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

[Thuan Pham]

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> 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/. 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
>
>
-------------- next part --------------
HTML attachment scrubbed and removed