Skip to content

Latest commit

 

History

History
192 lines (134 loc) · 7.83 KB

README-ja.md

File metadata and controls

192 lines (134 loc) · 7.83 KB

logo1

Build Status

English README is here

概要

SATySFi(英単語の “satisfy” と同様に発音します)は,静的型つきのいわゆる函数型言語が備わった,新しい組版処理システムです。構文は主にテキスト部分とプログラム部分からなり,前者はLaTeX風の構文で文書を執筆するために,後者はOCaml風の構文でコマンドを定義するために使われます。函数型プログラミングの要領でコマンドが定義でき,かつ静的に型がつけられるため,柔軟な記述とわかりやすいエラー報告が実現されています。

本ソフトウェアは以下のような支援のもと開発されました:

  • 2017年度IPA未踏事業(2017年6月–2018年2月.概要はこちら
  • 株式会社ドワンゴ(2018年10月–2019年3月.アルバイトとして)
  • The SATySFi​bookを購入頂いた,多くの匿名の支援者の方々

また,2024年2月現在も発展を続けています。

Satyrographos を使ったインストール方法 (初心者向け)

パッケージマネージャー Satyrographos を用いたインストール方法が用意されています。 詳しくは SATySFi インストール手引き をご覧下さい。

# 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

# 共通 SATySFi のインストール
opam depext satysfi satysfi-dist satyrographos
opam install satysfi satysfi-dist satyrographos

# 共通 SATySFi 標準ライブラリのセットアップ
satyrographos install

OPAM を使ったインストール方法

事前に必要なもの

ビルド前に最低限,以下のソフトウェアが必要です。

  • bzip2
  • cc
  • git
  • m4
  • make
  • unzip
  • wget or curl
  • opam 2
    • インストール方法:https://opam.ocaml.org/doc/Install.html
    • Windows の場合,bubblewrap 関係の問題を回避するため,Windows Subsystem for Linux (WSL) 2 をオススメします。
  • ocaml 4.10.0 (OPAM からインストールします)

また,ビルドには外部 OPAM リポジトリの追加が必要です。これは以下のコマンドでできます:

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

準備例(Ubuntu)

sudo apt-get update
sudo apt-get install build-essential git m4 unzip curl

sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)

# 以下のコマンドは OPAM がファイルに追記してもよいか聞いてきます。
# 必ず説明を読み,環境変数を適切に設定してください。
opam init --comp 4.10.0

eval $(opam env)

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

準備例(OS X Mavericks 以降)

# このスクリプトを実行する前に,GCC や Make などの基本的なソフトウェアをインストールしておいてください。これらは Xcode Command Line Tools からインストールできます。
# また,Homebrew もインストールしてください。

brew update
brew install opam

# 以下のコマンドは OPAM が(~/.bash_profile などの)ファイルに環境変数に関する設定を追記してもよいか聞いてきます。
# 必ず説明を読み,環境変数を適切に設定してください。
opam init --comp 4.10.0

eval $(opam env)

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

ビルド

まず,このリポジトリを clone し,OPAM を使って SATySFi をビルドします:

# clone
git clone https://github.com/gfngfn/SATySFi.git
cd SATySFi

# build
opam pin add satysfi .
opam install satysfi
  • 再インストール: opam reinstall satysfi を実行
  • アンインストール: opam uninstall satysfi を実行

セットアップ

使用する前に,フォントをダウンロードし,ライブラリ等を所定の場所に移す必要があります。以下のように2つのシェルスクリプトを順に実行します:

./download-fonts.sh
./install-libs.sh

前者はデフォルトで必要なフォントファイルを Web 上からダウンロードして lib-satysfi/dist/fonts/ 直下に格納し,後者は lib-satysfi/ 以下を /usr/local/share/satysfi/ 以下にそのままコピーします。

ここでインストールされるフォントは以下の通りです。ライセンスを確認した上で使用してください:

用法

satysfi <input file> -o <output file>

<input file> から <output file> を出力します。例えばソースファイル doc.saty から output.pdf を出力したい場合,次のようにします:

satysfi doc.saty -o output.pdf

コンパイルしてみよう

デモファイルが demo フォルダにあるので,初めにこのファイルをコンパイルしてみましょう。 このデモには MakeFile が用意されているので,make を実行するだけで完了します。

cd demo
make

うまく準備できていれば,demo.pdf が作成されます。

リファレンス

詳細な解説である The SATySFi​book が BOOTH にて公開されており,無償でダウンロードできます。このほか,SATySFi で文書を作成するためのごく簡単なリファレンスが doc フォルダに SATySFi を用いて書かれており,以下の処理で PDF が生成されます:

cd doc
make

コマンドラインオプション

  • -v, --version: ヴァージョンを表示します。
  • -o, --output: 出力ファイル名を指定します。省略された場合,入力ファイル名の拡張子を .pdf に変えた名前を出力ファイル名とします。
  • -b, --bytecomp: 評価前にバイトコンパイルを行ないます(複雑な計算に対して高速化が期待できます)。
  • --full-path: 標準出力に書き込むログに於いて,ファイル名をすべて絶対パスで表示します。
  • --type-check-only: 型検査だけをして終了します。
  • --debug-show-bbox: (デバッグ目的で)各グリフにバウンディングボックスをつけて出力します。
  • --debug-show-space: (デバッグ目的で)スペース部分に目印をつけて出力します。

SATySFiを学ぶ

Wiki に学習用の資料があります。