Closed iwasa-kosui closed 6 years ago
Note that it also applies to the Ubuntu instructions.
Or, opam depext -ui satysfi
resolves this. (I didn't write this because there is no conf-zip
now.)
Please tell me do you thin which is better for beginner?
I encountered the same issue when I made a brew formula for satysfi [1]. (Note that this formula does not work correctly now as #34 has not yet been merged.)
@KilledByNLP I think the brew
-way is better currently. opam depext
is not inclusive now.
https://github.com/gfngfn/SATySFi/pull/36 OK, i created PR with brew and apt-get
Hello I love SATySFi so much. If we solve this problem, SATySFi must be much better!
Problem
I tried to install SATySFi on macOS High Sierra(10.13.2), however
opam install satysfi
failed with below errors.Solution
Just execute
brew install autoconf
Proposal
Add
brew install autoconf
inREADME.md