http://blog.csicar.de/tags/purescript/Recent content in Purescript on csicarHugo -- 0.155.3en-usThu, 29 Jun 2017 19:05:00 +0100http://blog.csicar.de/posts/2017-06-29-purescript-archlinux/Thu, 29 Jun 2017 19:05:00 +0100http://blog.csicar.de/posts/2017-06-29-purescript-archlinux/<ol> <li>download the binary for linux</li> </ol> <hr> <div class="highlight"><pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"><code class="language-bash" data-lang="bash"><span style="display:flex;"><span>$ wget https://github.com/purescript/purescript/releases/download/v0.11.5/linux64.tar.gz - /opt/purescriptw </span></span></code></pre></div><ol start="2"> <li>smylink the executable</li> </ol> <hr> <div class="highlight"><pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"><code class="language-bash" data-lang="bash"><span style="display:flex;"><span>$ ln -s /opt/purescript/purs /usr/local/bin/purs </span></span></code></pre></div><ol start="3"> <li>install libtinfo</li> </ol> <hr> <div class="highlight"><pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"><code class="language-bash" data-lang="bash"><span style="display:flex;"><span>$ gpg --keyserver pgp.mit.edu --recv-keys F7E48EDB <span style="color:#75715e"># needed for the folloing package</span> </span></span><span style="display:flex;"><span>$ pacaur -S ncurses5-compat-libs </span></span><span style="display:flex;"><span>$ pacaur -S libtinfo </span></span></code></pre></div><p>see <a href="https://www.adlerweb.info/blog/2017/02/01/arch-linux-arduino-libtinfo-so-5-fehlt">here</a></p>