sudo apt-get update
密码 klee
sudo apt-get install gcc
export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH
gcc -I ../../include -L /home/klee/lib/ get_sign.c -lkleeRuntest
sudo apt-get update
密码 klee
sudo apt-get install gcc
export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH
gcc -I ../../include -L /home/klee/lib/ get_sign.c -lkleeRuntest
转载于:https://www.cnblogs.com/zhwforever/p/10563633.html