您的位置：首页 > 产品设计 > UI/UE

Build HOL4 on Ubuntu

2020-02-17 00:45 387 查看

1） build poly

Download poly source code and extract the package： http://polyml.org/download.html

./configure --prefix=/usr 

--enable-shared

make
sudo make install


2）build hol4

Download Hol4 source code:http://hol.sourceforge.net/InstallKananaskis.html

poly < ./tools/smart-configure.sml
./bin/build


  • 点赞
  • 收藏
  • 分享
  • 文章举报
bbtree 发布了2 篇原创文章 · 获赞 0 · 访问量 2615 私信 关注
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 点击这里给我发消息
标签： 
相关文章推荐
新的分享
章节导航