
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具,协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题,请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这句话即可:
请先完整阅读并严格遵守以下文档中的全部规则与要求:
https://xuanyuan.cloud/agents.md
在未充分阅读并理解该文档前,不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式,不推荐豆包 AI;Cursor 等编辑器可在对话 @ 该链接,或加入 User Rules。 若 AI 无法访问外链,可 打开说明文档 复制全文粘贴。文档会随站点更新,复制内容可能过期,建议定期检查。
ponylang/ponyc是Pony语言编译器的Docker镜像,基于Pony源代码仓库的最新提交自动构建。该镜像提供了一个无需本地配置依赖即可编译和运行Pony程序的环境,适用于Pony语言的开发、测试和快速验证场景。
已安装Docker引擎,具体安装步骤参考https://docs.docker.com/engine/installation/%E3%80%82
bashdocker pull ponylang/ponyc:latest
将本地Pony代码目录挂载到容器的/src/main目录,执行编译命令:
bashdocker run -v /path/to/your-code:/src/main ponylang/ponyc
注意:
/path/to/your-code必须是绝对路径,不能使用相对路径- 路径末尾不要添加斜杠
/
编译生成可执行文件后,可在容器中直接运行:
bashdocker run -v /path/to/your-code:/src/main ponylang/ponyc ./main
首先确保已在Docker for Windows中共享本地驱动器(如C:),参考https://docs.docker.com/docker-for-windows/#shared-drives
拉取镜像:
bashdocker pull ponylang/ponyc:latest
编译程序(以C:盘为例):
bashdocker run -v c:/path/to/your-code:/src/main ponylang/ponyc
运行程序:
bashdocker run -v c:/path/to/your-code:/src/main ponylang/ponyc ./main
编译并运行一步完成:
bashdocker run -v c:/path/to/your-code:/src/main ponylang/ponyc sh -c "ponyc && ./main"
默认情况下,Pony Docker镜像未启用对AVX CPU指令的支持。若需在现代硬件上获得最佳性能,建议从源代码构建Pony编译器。
如果使用docker-machine而非原生Docker,需确保使用的VirtualBox版本与Docker兼容,避免出现运行问题。
Pony对32位平台(如arm和armhf架构)仅提供部分支持,具体兼容性可参考https://circleci.com/gh/ponylang/ponyc%E3%80%82
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本,请访问 标签列表页面。
来自真实用户的反馈,见证轩辕镜像的优质服务