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
- 点赞
- 收藏
- 分享
- 文章举报
相关文章推荐
- NGUI 使用UITable(或UIGrid)注意事项
- NGUI 屏幕自适应(初始设定宽高800x480只支持比其大的屏幕)
- NGUI 屏幕自适应大屏与小屏(初始设定宽高为1280x720,能适应比其小或者更大的屏)...
- NGUI 使用EventDelegate.Add与UIInput.onSubmit、UIInput.onChange限定编辑框中的内容
- NGUI 灰化按钮或图标
- (1366, "Incorrect string value: '\\xE5\\x93\\x88\\xE5\\x93\\x88' for column 'body' at row 1")
- 利用selenuim自动登录csdn
- 让JPA 飞 - QueryDSL
- The cast to value type 'System.Decimal' failed because the materialized value is null. Either the re...
- [Form builder]:about SYSTEM.MESSAGE_LEVEL
- [Form Builder]:CREATE_GROUP Built-in
- [Form Builder]APP_ITEM_PROPERTY.SET_PROPERTY 用法
- [Form Builder]NAME_IN()与COPY()
- [Form Builer]Locking Mode and LOCK_RECORD
- [Form Builder]内置函数execute_trigger、do_key详解
- torque脚本编程
- easyui局部刷新
- element-ui 使用时遇到的一些坑
- 使用Microsoft BizTalk Adapter for mySAP Business Suite需要注意的一些限制点
- material-UI库:mat-error校验失效