error: execute ./setup.sh in Ubuntu16

Question

Ricardo-609 opened this issue 3 years ago · comments

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

INSU YUN · Answer 1 · Sun Dec 12 2021 19:53:19 GMT+0800 (China Standard Time)

Hi, Ricardo. Could you use Docker for install?

Ricardo-609 · Answer 2 · Sun Dec 12 2021 20:27:35 GMT+0800 (China Standard Time)

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

Have you encountered this error ?

001SM · Answer 3 · Sat Mar 19 2022 02:45:19 GMT+0800 (China Standard Time)

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

INSU YUN · Answer 4 · Wed Jun 08 2022 11:14:49 GMT+0800 (China Standard Time)

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

Ricardo-609 · Answer 5 · Wed Jun 08 2022 11:57:21 GMT+0800 (China Standard Time)

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 · Answer 6 · Wed Jun 08 2022 19:58:50 GMT+0800 (China Standard Time)

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

Sorry, I can't solve this problem

Ricardo-609 · Answer 7 · Wed Jun 08 2022 20:06:19 GMT+0800 (China Standard Time)

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

Sorry, I can't solve this problem

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