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

Build HOL4 on Ubuntu

2020-02-17 00:45 369 查看

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 私信 关注
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: