search

gfngfn / SATySFi

A statically-typed, functional typesetting system
GNU Lesser General Public License v3.0
1.16k stars 82 forks source link

Fix post-install message #18

Closed na4zagin3 closed 6 years ago

na4zagin3 commented 6 years ago

Problem & Proposal

The post-install message introduced by ab3f781 is wrong. $(PREFIX_LIB) must be replaced by a real path.

Please set SATYSFI_LIB_ROOT. You may want to add the following line to ~/.bashrc"
export SATYSFI_LIB_ROOT=$(PREFIX_LIB)/lib-satysfi"

Environment

macOS 10.13.2 OCaml 4.05.0 + OPAM 1.2.2 SATySFi commit bc30f33

Workaround

nekketsuuu commented 6 years ago

I think this issue is already resolved because SATYSFI_LIB_ROOT is now deprecated.

na4zagin3 commented 6 years ago

@nekketsuuu You're right. Closing.