error: execute ./setup.sh in Ubuntu16

[Ricardo-609]

My env is Ubuntu18. could I solve the error ? thaks!

[insuyun]

Hi, Ricardo. Could you use Docker for install?

[Ricardo-609]

Hi, insuyun. I have successed in docker,but I need to directely install it. Now Z3 not installed.

Have you encountered this error ?

[001SM]

我也遇到了这个问题，希望能快点出现解决方案

[insuyun]

Hi, @Ricardio609. Could you let me know how you resolve this issue?

[Ricardo-609]

Hi, @Ricardio609. Could you let me know how you resolve this issue?

Hi, insuyun. I successed installed in vagrant , docker and ubuntu16. But it failed in ubuntu20, maybe kernel denpency.

[001SM]

你好，@Ricardio609.你能告诉我你是如何解决这个问题的吗？

Sorry, I can't solve this problem

[Ricardo-609]

你好，@Ricardio609.你能告诉我你是如何解决这个问题的吗？

Sorry, I can't solve this problem

It successful installed after changing the installation environment. for example using docker or vagrant.