ev3rt(β7)の開発環境を構築したのですが、躓いた所をメモしておきます。 ちなみに使っているのはMint18.2ですけどね。 まずはPPAの追加、本家では sudo add-apt-repository ppa:terry.guo/gcc-arm-embeddedとなっていますが、16.04以降は sudo add-apt-repos…