Remove OS-dependent PATH and COMMAND.

[puripuri2100]

• Remove OS-dependent PATH. (e.g. usr/local/share/satysfi)
• Remove OS-dependent COMMAND. (e.g. cp)

The execution test is changed as follows¹:

dune exec -- satysfi --version

dune exec -- satysfi demo/demo.saty -o demo/demo.pdf

Footnotes

1. https://www.mankier.com/1/dune-exec ↩

[puripuri2100]

Failed the source code download? 🤔

---

[ERROR] Failed to get sources of biniou.1.2.1: curl error code 503

https://github.com/gfngfn/SATySFi/runs/4457510474?check_suite_focus=true#step:5:1625

---

#=== ERROR while fetching sources for result.1.5 ==============================#
OpamSolution.Fetch_fail("https://github.com/janestreet/result/releases/download/1.5/result-1.5.tbz (curl: code 503 while downloading https://github.com/janestreet/result/releases/download/1.5/result-1.5.tbz)")

#=== ERROR while fetching sources for ppx_deriving.5.2.1 ======================#
OpamSolution.Fetch_fail("https://github.com/ocaml-ppx/ppx_deriving/releases/download/v5.2.1/ppx_deriving-v5.2.1.tbz (curl: code 503 while downloading https://github.com/ocaml-ppx/ppx_deriving/releases/download/v5.2.1/ppx_deriving-v5.2.1.tbz)")

#=== ERROR while fetching sources for biniou.1.2.1 ============================#
OpamSolution.Fetch_fail("https://github.com/mjambon/biniou/releases/download/1.2.1/biniou-1.2.1.tbz (curl: code 503 while downloading https://github.com/mjambon/biniou/releases/download/1.2.1/biniou-1.2.1.tbz)")

https://github.com/gfngfn/SATySFi/runs/4457510474?check_suite_focus=true#step:5:5296

[leque]

Some my thoughts:

• I think it would be generally nice to reduce dependencies on Unix-specific commands. Should we remove dependencies on make and sh (to download fonts and install libs) too? (This might be done in separated PRs, though.)
• satysfi.opam uses PREFIX make variable to customize the install location. Is it ok to discard this capabiilty?

[na4zagin3]

I think it would be generally nice to reduce dependencies on Unix-specific commands. Should we remove dependencies on make and sh (to download fonts and install libs) too? (This might be done in separated PRs, though.)

At least we can have OPAM to download fonts like #149.