SVF-example
SVF-example copied to clipboard
make[2]: *** No rule to make target '/usr/lib/x86_64-linux-gnu/libtinfo.so', needed by 'bin/svf-ex'. Stop.
➜ SVF-example git:(master) ✗ make [ 50%] Building CXX object src/CMakeFiles/svf-ex.dir/svf-ex.cpp.o make[2]: *** No rule to make target '/usr/lib/x86_64-linux-gnu/libtinfo.so', needed by 'bin/svf-ex'. Stop. make[1]: *** [CMakeFiles/Makefile2:178: src/CMakeFiles/svf-ex.dir/all] Error 2 make: *** [Makefile:84: all] Error 2
I solved it:
sudo ln -s /usr/lib/x86_64-linux-gnu/libtinfo.so.5.9 /usr/lib/x86_64-linux-gnu/libtinfo.so