Follow *nix 向け SATySFi インストールバトル手引き 2020年10月版 to set up SATySFi and Satyrographos in your dev environment.
$ opam pin add yabai2021w.opam "file://${PWD}"
$ satyrographos installThen you can build by
$ satysfi main.saty| Name | Name | Last commit date | ||
|---|---|---|---|---|
Follow *nix 向け SATySFi インストールバトル手引き 2020年10月版 to set up SATySFi and Satyrographos in your dev environment.
$ opam pin add yabai2021w.opam "file://${PWD}"
$ satyrographos installThen you can build by
$ satysfi main.saty