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