ltsmin
ltsmin copied to clipboard
Installation instructions step by step
There is a lot of information on installing, but a step-by-step guide is missing. There are also some issues:
-
installation for end-users should be separately described, see also issue #205. https://github.com/utwente-fmt/ltsmin#installation-instructions should not mention ./configure stuff, since the tar already contains the binaries.
-
installation from source / github could be unified, and should be described step-by-step
-
the installation of the dependencies should be described for several package handlers, for instance a magic formula with apt-get would save a lot of time for many users. (similar for macOS magic). Also it appears that dependencies appear in multiple places.