文件名称：珠穆朗玛峰
文件大小：37KB
文件格式：ZIP
更新时间：2024-03-04 22:43:07
Shell
珠穆朗玛峰项目 HTTPS生态系统的高效，经过验证的组件。 见！ everest剧本 该脚本的作用是： 检查您的开发环境是否正常； 获取miTLS，F *，KreMLin，Vale和HACL的已知良好修订 运行voodoo系列命令，这将导致成功构建 运行任何已知的有效测试。 对于开发人员，此脚本还允许您执行以下操作： 记录一组新的良好修订。 大量使用此脚本来提取，构建和测试项目珠穆朗玛峰。 预设（Windows） 该脚本要求您的系统上存在Visual Studio（特别是F＃和C ++组件）。 如果没有它，可以安装。 如果尚未安装Windows版Opam，请下载并运行。 它还将安装Cygwin，然后您可以从Cygwin提示符下启动此脚本。 安装 。 安装后，确保scons.bat在系统路径中。 用法 请参阅./everest help 贡献 我们欢迎您使用普通的fork项
【文件预览】：
everest-master
----miTLS2C.md(2KB)
----everest(51KB)
----scons-python-version-test.py(80B)
----.gitattributes(9B)
----build_local.sh(2KB)
----.docker()
--------build()
----repositories.sh(821B)
----hashes.sh(548B)
----make-mbedtls-drop.sh(2KB)
----LICENSE(11KB)
----test()
--------test.ml(45B)
--------_tags(192B)
----opam-packages(480B)
----README.md(8KB)
----cygwin-packages(779B)
----.gitignore(196B)
----lib.sh(1KB)
----make-source-drop(3KB)