Ubuntu 16.04でSATySFi環境構築&コンパイル

2017/02/12時点の情報です． まだSATySFiは絶賛開発途中であり，特に今インストール周りが改善中のようですので，うまくいかない場合はgithubのページを追ってください．

↓ココらへんを参考にした．

qiita.com

github.com

SATySFi

型づけがしっかりしていて，エラーメッセージのわかりやすい組版システム（を目指しているらしい）． texのように文章の構造や装飾をマークアップして記述する． 未踏に採択されて先日成果発表会が行われた．

github.com

依存関係をインストール

$ sudo apt-get update
$ sudo apt-get install opam autoconf

opam構築

.profileを読んでくれないので，.bashrcに直接書き込んだ

$ cd
$ opam init
$ echo "¥n. /home/satysfi/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true" >> $HOME/.bashrc
$ opam switch 4.05.0
$ eval `opam config env`

SATySFi構築

$ cd
$ git clone https://github.com/gfngfn/SATySFi.git
$ cd $HOME/SATySFi
$ git submodule update -i
$ opam pin add satysfi .
$ opam install satysfi
$ satysfi --help
  -o  Specify output file
  --output  Specify output file
  -v  Print version
  --version  Print version
  --full-path  Display paths in full-path style
  -help  Display this list of options
  --help  Display this list of options

demo/demo.satyをコンパイル

フォントや画像が足りないので用意する

$ cd $HOME/SATySFi/demo

ArnoPro-Regular.otfを用意

$ wget https://www.wfonts.com/download/data/2014/12/28/arno-pro/ArnoPro-Regular.otf -P $HOME/.satysfi/dist/fonts/
$ wget https://ipafont.ipa.go.jp/old/ipaexfont/ipaexm00201.php -P /tmp
$ unzip -d /tmp /tmp/ipaexm00201.php
$ cp /tmp/ipaexm00201/ipaexm.ttf $HOME/.satysfi/dist/fonts/

Osaka.ttf

ttc→ttfに変換するために，unitettcをインストールする

UniteTTC

$ wget http://yozvox.web.fc2.com/unitettc.zip -P /tmp
$ unzip -d /tmp /tmp/unitettc.zip
$ chmod +x /tmp/unitettc/unitettc64
$ wget http://osaka.is.land.to/files/Osaka.zip -P /tmp
$ unzip -d /tmp /tmp/Osaka.zip
$ /tmp/unitettc/unitettc64 /tmp/Osaka.ttc
$ cp /tmp/Osaka001.ttf $HOME/.satysfi/dist/fonts/Osaka.ttf

satysfi-logo.png

png→jpgに変換するために，imagemagickをインストールする

$ sudo apt-get install imagemagick
$ wget https://raw.githubusercontent.com/wiki/gfngfn/SATySFi/img/satysfi-logo.png -P /tmp
$ convert /tmp/satysfi-logo.png satysfi-logo.jpg

コンパイル

$ make

make satysfi/demo/

$ file demo.pdf
demo.pdf: PDF document, version 1.7