kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

archlinux installation #2387

Closed bohadi closed 6 years ago

bohadi commented 6 years ago

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