Standard ML of New Jersey (SML/NJ) 项目下载与安装教程
2024-12-08 17:59:28作者:齐添朝
1. 项目介绍
Standard ML of New Jersey (SML/NJ) 是一个标准 ML 编程语言的实现。它是一个功能强大的函数式编程语言,适用于多种类型的软件开发。本项目提供了 SML/NJ 的主要开发仓库,包括编译器、运行时环境、库和工具。
2. 项目下载位置
项目托管在 GitHub 上,你可以通过以下地址访问项目仓库:https://github.com/smlnj/smlnj.git
3. 项目安装环境配置
环境要求
- 操作系统:Linux 或 macOS
- 硬件:AMD64 (a.k.a. x86-64)
- 其他:确保你的系统已安装 Git
配置步骤
- 打开终端
- 确认 Git 已安装:输入
git --version
,如果显示版本信息则表示已安装 - 克隆项目到本地:执行以下命令
git clone --depth 1 --branch v2023 --recurse-submodules https://github.com/smlnj/smlnj.git
- 进入克隆后的目录
cd smlnj
- 获取启动文件
curl -O https://smlnj.org/dist/working/2023/boot-amd64-unix.tgz
4. 项目安装方式
- 构建安装
./build.sh
可以通过 ./build.sh -h
查看所有可接受的选项。
- 重新编译系统
cd system
./cmb-make /bin/sml
./makeml
./installml -clean -boot
5. 项目处理脚本
以下是一些基本的处理脚本,用于构建和安装 SML/NJ。
build.sh
:主构建脚本,用于构建安装。cmb-make
:用于重新编译系统。makeml
:用于引导系统。installml
:用于安装系统。
确保在执行这些脚本之前,你已经正确配置了环境并且获取了启动文件。
以上就是 SML/NJ 的下载与安装教程,希望对你有所帮助。
热门项目推荐
相关项目推荐
- 国产编程语言蓝皮书《国产编程语言蓝皮书》-编委会工作区017
- nuttxApache NuttX is a mature, real-time embedded operating system (RTOS).C00
- qwerty-learner为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workersTSX027
- 每日精选项目🔥🔥 01.17日推荐:一个开源电子商务平台,模块化和 API 优先🔥🔥 每日推荐行业内最新、增长最快的项目,快速了解行业最新热门项目动态~~026
- Cangjie-Examples本仓将收集和展示高质量的仓颉示例代码,欢迎大家投稿,让全世界看到您的妙趣设计,也让更多人通过您的编码理解和喜爱仓颉语言。Cangjie045
- 毕方Talon工具本工具是一个端到端的工具,用于项目的生成IR并自动进行缺陷检测。Python039
- PDFMathTranslatePDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译,支持 Google/DeepL/Ollama/OpenAI 等服务,提供 CLI/GUI/DockerPython05
- mybatis-plusmybatis 增强工具包,简化 CRUD 操作。 文档 http://baomidou.com 低代码组件库 http://aizuda.comJava03
- advanced-javaAdvanced-Java是一个Java进阶教程,适合用于学习Java高级特性和编程技巧。特点:内容深入、实例丰富、适合进阶学习。JavaScript0108
- taro开放式跨端跨框架解决方案,支持使用 React/Vue/Nerv 等框架来开发微信/京东/百度/支付宝/字节跳动/ QQ 小程序/H5/React Native 等应用。 https://taro.zone/TypeScript09
热门内容推荐
最新内容推荐
项目优选
收起
Python-100-Days
Python - 100天从新手到大师
Python
266
55
国产编程语言蓝皮书
《国产编程语言蓝皮书》-编委会工作区
65
17
Cangjie-Examples
本仓将收集和展示高质量的仓颉示例代码,欢迎大家投稿,让全世界看到您的妙趣设计,也让更多人通过您的编码理解和喜爱仓颉语言。
Cangjie
196
45
openHiTLS
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
53
44
HarmonyOS-Examples
本仓将收集和展示仓颉鸿蒙应用示例代码,欢迎大家投稿,在仓颉鸿蒙社区展现你的妙趣设计!
Cangjie
268
69
qwerty-learner
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
TSX
333
27
CangjieCommunity
为仓颉编程语言开发者打造活跃、开放、高质量的社区环境
Markdown
896
0
advanced-java
Advanced-Java是一个Java进阶教程,适合用于学习Java高级特性和编程技巧。特点:内容深入、实例丰富、适合进阶学习。
JavaScript
419
108
MateChat
前端智能化场景解决方案UI库,轻松构建你的AI应用,我们将持续完善更新,欢迎你的使用与建议。
官网地址:https://matechat.gitcode.com
144
24
HarmonyOS-Cangjie-Cases
参考 HarmonyOS-Cases/Cases,提供仓颉开发鸿蒙 NEXT 应用的案例集
Cangjie
58
4