7.1.2 Installation

If the tool’s distribution/version is supported by HARK, it can be installed using apt-get. As to the registration of repository, see HARK’s webpage.

>sudo apt-get install harktool4