search

xiangfeidexiaohuo / extra-ipk

6 stars 8 forks source link

update autocore更新后编译错误 #4

Closed HiJwm closed 2 years ago

HiJwm commented 2 years ago

如题，望老大check一下

HiJwm commented 2 years ago

[r2203]错误

xiangfeidexiaohuo commented 2 years ago

[r2203]错误

这个autocore只适合lean源码，类似官方的openert 2102 2203要用另外的版本。