diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c287dd397..229d1629d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -32,7 +32,7 @@ jobs:
uses: actions/cache@v4
id: locks-cache
with:
- path: ~/.satysfi/cache
+ path: ~/.saphe/cache
key: cache-locks-${{ hashFiles('default-registry-commit-hash.txt') }}
- name: Set-up OCaml
@@ -56,7 +56,6 @@ jobs:
- name: Install SATySFi
run: |
opam install .
- ./install-libs.sh ~/.satysfi
- name: Check library packages
run: |
diff --git a/.gitignore b/.gitignore
index 64e2aa9ab..a91a8669c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,7 @@
/temp/latinmodern-math-1959/
/temp/*.zip
/temp/tarballs/
+*.pdf
+*.satysfi-aux.yaml
+/saphe
+/satysfi
diff --git a/Makefile b/Makefile
index f357e646a..674c47fcb 100644
--- a/Makefile
+++ b/Makefile
@@ -1,18 +1,26 @@
PREFIX=/usr/local
LIBDIR=$(PREFIX)/share/satysfi
+SATYSFI=satysfi
+SAPHE=saphe
BINDIR=$(PREFIX)/bin
-.PHONY: all test test-packages clean install uninstall
+.PHONY: all test test-packages promote-package-locks update-ci-cache clean install uninstall
all:
dune build
test:
- $(DUNE) runtest
+ dune runtest
test-packages:
./check-packages.sh
+promote-package-locks:
+ ./promote-lock-of-packages.sh
+
+update-ci-cache:
+ ./update-default-registry-commit-hash-file.sh
+
clean:
dune clean
diff --git a/README-ja.md b/README-ja.md
index f28c3a0d7..62576cbce 100644
--- a/README-ja.md
+++ b/README-ja.md
@@ -2,6 +2,8 @@
[](https://github.com/gfngfn/SATySFi/actions?query=workflow%3ACI)
+**注意: 2024年3月現在,SATySFi は 0.0.x から 0.1.x へと移行する過程にあります.このREADMEをはじめとして多くの文書では古くなっている情報が残っているかもしれません.**
+
[English README is here](https://github.com/gfngfn/SATySFi/blob/master/README.md)
## 概要
@@ -14,38 +16,8 @@
* 株式会社ドワンゴ(2018年10月–2019年3月.アルバイトとして)
* [The SATySFibook](https://booth.pm/ja/items/1127224)を購入頂いた,多くの匿名の支援者の方々
-また,2024年2月現在も発展を続けています。
-
-## Satyrographos を使ったインストール方法 (初心者向け)
-
-パッケージマネージャー [Satyrographos](https://github.com/na4zagin3/satyrographos/blob/master/README-ja.md) を用いたインストール方法が用意されています。
-詳しくは [SATySFi インストール手引き](https://qiita.com/na4zagin3/items/a6e025c17ef991a4c923) をご覧下さい。
-
-```sh
-# Ubuntu 20.04 の場合
-sudo apt-get update
-sudo apt-get install build-essential git m4 unzip curl pkg-config
-sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
+また,2024年3月現在も発展を続けています。
-# Mac の場合
-# 要 homebrew (https://brew.sh/index_ja に従いインストールして下さい)
-brew update
-brew install opam
-
-# 共通 OPAM の設定
-opam init
-eval $(opam env)
-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 depext satysfi satysfi-dist satyrographos
-opam install satysfi satysfi-dist satyrographos
-
-# 共通 SATySFi 標準ライブラリのセットアップ
-satyrographos install
-```
## OPAM を使ったインストール方法
@@ -90,6 +62,7 @@ opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-
opam update
```
+
#### 準備例(OS X Mavericks 以降)
```sh
@@ -109,6 +82,7 @@ opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-
opam update
```
+
### ビルド
まず,このリポジトリを clone し,OPAM を使って SATySFi をビルドします:
@@ -119,23 +93,45 @@ git clone https://github.com/gfngfn/SATySFi.git
cd SATySFi
# build
-opam pin add satysfi .
-opam install satysfi
+opam pin add .
+opam install satysfi saphe
```
* 再インストール: `opam reinstall satysfi` を実行
* アンインストール: `opam uninstall satysfi` を実行
-### セットアップ
-使用する前に,フォントをダウンロードし,ライブラリ等を所定の場所に移す必要があります。以下のように2つのシェルスクリプトを順に実行します:
+## SATySFi **0.0.x** についての説明
+
+### Satyrographos を使ったインストール方法 (初心者向け)
+
+パッケージマネージャー [Satyrographos](https://github.com/na4zagin3/satyrographos/blob/master/README-ja.md) を用いたインストール方法が用意されています。詳しくは [SATySFi インストール手引き](https://qiita.com/na4zagin3/items/a6e025c17ef991a4c923) をご覧下さい。
```sh
-./download-fonts.sh
-./install-libs.sh
-```
+# Ubuntu 20.04 の場合
+sudo apt-get update
+sudo apt-get install build-essential git m4 unzip curl pkg-config
+sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
+
+# Mac の場合
+# 要 homebrew (https://brew.sh/index_ja に従いインストールして下さい)
+brew update
+brew install opam
+
+# 共通 OPAM の設定
+opam init
+eval $(opam env)
+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
-前者はデフォルトで必要なフォントファイルを Web 上からダウンロードして `lib-satysfi/dist/fonts/` 直下に格納し,後者は `lib-satysfi/` 以下を `/usr/local/share/satysfi/` 以下にそのままコピーします。
+# 共通 SATySFi のインストール
+opam depext satysfi satysfi-dist satyrographos
+opam install satysfi satysfi-dist satyrographos
+
+# 共通 SATySFi 標準ライブラリのセットアップ
+satyrographos install
+```
ここでインストールされるフォントは以下の通りです。ライセンスを確認した上で使用してください:
@@ -144,7 +140,8 @@ opam install satysfi
* [Latin Modern](http://www.gust.org.pl/projects/e-foundry/latin-modern/)
* [Latin Modern Math](http://www.gust.org.pl/projects/e-foundry/lm-math)
-## 用法
+
+### 用法
```sh
satysfi -o