SATySFi 项目安装与使用指南-优快云博客

本文链接：https://blog.youkuaiyun.com/gitblog_00203/article/details/142504756

SATySFi 项目安装与使用指南

SATySFi A statically-typed, functional typesetting system 项目地址: https://gitcode.com/gh_mirrors/sa/SATySFi

1. 项目的目录结构及介绍

SATySFi 项目的目录结构如下：

SATySFi/
├── bin/
├── demo/
├── doc/
├── lib-satysfi/
│   └── dist/
├── logo/
├── obsolete/
├── src/
├── temp/
├── tests/
│   └── parsing/
├── tools/
│   └── gencode/
├── .editorconfig
├── .gitignore
├── CHANGELOG.md
├── LICENSE
├── Makefile
├── README-ja.md
├── README.md
├── download-fonts.sh
├── dune-project
├── install-libs.sh
└── satysfi.opam

目录介绍

bin/: 存放编译后的可执行文件。
demo/: 包含示例文件和演示文档。
doc/: 包含项目文档和参考资料。
lib-satysfi/: 存放 SATySFi 的标准库和依赖库。
logo/: 存放项目 Logo 文件。
obsolete/: 存放已废弃的文件和代码。
src/: 存放 SATySFi 的核心源代码。
temp/: 临时文件存放目录。
tests/: 包含测试文件和测试脚本。
tools/: 包含一些辅助工具和脚本。
.editorconfig: 编辑器配置文件。
.gitignore: Git 忽略文件配置。
CHANGELOG.md: 项目更新日志。
LICENSE: 项目许可证文件。
Makefile: 项目构建文件。
README-ja.md: 日文版 README 文件。
README.md: 英文版 README 文件。
download-fonts.sh: 下载字体文件的脚本。
dune-project: Dune 构建系统的项目配置文件。
install-libs.sh: 安装依赖库的脚本。
satysfi.opam: OPAM 包管理器的配置文件。

2. 项目的启动文件介绍

SATySFi 的启动文件是 satysfi.opam，这是一个 OPAM 包管理器的配置文件。通过这个文件，可以管理 SATySFi 的依赖和版本信息。

启动步骤

安装 OPAM: 首先需要安装 OPAM 包管理器。
初始化 OPAM: 运行 opam init 初始化 OPAM。

添加仓库: 添加 SATySFi 的外部仓库和 Satyrographos 仓库。

opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git
opam repository add satyrographos https://github.com/na4zagin3/satyrographos-repo.git

更新仓库: 运行 opam update 更新仓库。
安装 SATySFi: 运行 opam install satysfi satysfi-dist satyrographos 安装 SATySFi。