Skip to content

History / Idris on Ubuntu

Edit page New page

Revisions

  • Add make as a prerequisite

    @melted melted committed Feb 28, 2020
    38b57a9

  • (minor) rewording heading

    @szabi szabi committed Feb 28, 2020
    2d75430

  • (minor, formatting only: heading level)

    @szabi szabi committed Feb 28, 2020
    ea24cf6

  • Updated (also confirming that the procedure works in Ubuntu 19.10)

    @szabi szabi committed Feb 28, 2020
    0494f0c

  • Updated Idris on Ubuntu (markdown)

    @melted melted committed Jul 11, 2018
    971e62c

  • Update with workaround for 16.04 cabal-install bug

    @melted melted committed Jul 11, 2018
    768a070

  • Installing on Ubuntu Xenial, hit issues configuring zlib.

    @ninjarobot ninjarobot committed Jun 22, 2017
    f95d723

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    4ed32b5

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    09c61d9

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    c1b474f

  • The Java and LLVM backends are no longer included by default. I think installing outdated ubuntu packages and picking through the rest w/ cabal-install just complicates things. Trying to keep this setup simple.

    @LeifW LeifW committed Feb 2, 2015
    5207a7c

  • Add step to install an updated cabal (without which, these instructions did not work for me).

    @xandkar xandkar committed Sep 3, 2014
    ae83914

  • Added missing dependencies, changed aptitute to apt-get

    @fstaffa fstaffa committed Aug 12, 2014
    f28cf92

  • Updated Idris on Ubuntu (markdown)

    @ssbr ssbr committed May 21, 2014
    958d7ea

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    231cda7

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    6f2798f

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    bc627d6

  • Updated instructions for obtaining LLVM

    @Ralith Ralith committed Oct 31, 2013
    9a22345

  • Note about linker

    @ezyang ezyang committed Aug 3, 2013
    41dbcac

  • Add PATH invocation which makes it work.

    @ezyang ezyang committed Aug 3, 2013
    db1739c

  • Created Idris on Ubuntu (markdown)

    @DanBurton DanBurton committed Aug 1, 2013
    ae08a97