kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

archlinux installation

bohadi opened this issue · comments

Debian package libgetopt-declare-perl not now in arch repositories (nor aur).
Install outside of pacman:
$ sudo pacman -Si perl-cpanplus
$ sudo cpan -i Getopt::Declare
other dependencies:
$ pacaur -S perl-string-escape
$ sudo pacman -S git maven diffutils libxml-perl opam jdk8-openjdk clang39