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 <[email protected]> wrote: > > FYI, the same issue happens while configuring Coreutils-6.11. > > On Fri, Nov 11, 2016 at 4:33 PM, Thuan Pham <[email protected] > <mailto:[email protected]>> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
