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

[Thuan Pham]

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