ltsmin icon indicating copy to clipboard operation
ltsmin copied to clipboard

Installation instructions step by step

Open jacopol opened this issue 2 years ago • 0 comments

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.

jacopol avatar Sep 07 '22 08:09 jacopol