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 <thua...@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 <thua...@comp.nus.edu.sg > <mailto:thua...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev