@@ -29,6 +29,13 @@ any dependencies. If, however, you would like the most up to date
29development version you can find it, as well as build instructions, on
29development version you can find it, as well as build instructions, on
30GitHub at: https://github.com/idris-lang/Idris-dev.
30GitHub at: https://github.com/idris-lang/Idris-dev.
32+If you haven't previously installed anything using Cabal, then Idris
33+may not be on your path. Should the Idris executable not be found
34+please ensure that you have added ``~/.cabal/bin`` to your ``$PATH``
35+environment variable. Mac OS X users may find they need to add
36+``~/Library/Haskell/bin`` instead, and Windows users will typically
37+find that Cabal installs programs in ``%HOME%\AppData\Roaming\cabal\bin``.
32To check that installation has succeeded, and to write your first
39To check that installation has succeeded, and to write your first
33Idris program, create a file called ``hello.idr`` containing the
40Idris program, create a file called ``hello.idr`` containing the
34following text:
41following text:
@@ -53,10 +60,7 @@ create an executable called ``hello``, which you can run:
53 Hello world
60 Hello world
55Please note that the dollar sign ``$`` indicates the shell prompt!
62Please note that the dollar sign ``$`` indicates the shell prompt!
56−Should the Idris executable not be found please ensure that you have
57−added ``~/.cabal/bin`` to your ``$PATH`` environment variable. Mac OS
58−X users may find they need to add ``~/Library/Haskell/bin``
59−instead. Some useful options to the Idris command are:
63+Some useful options to the Idris command are:
61- ``-o prog`` to compile to an executable called ``prog``.
65- ``-o prog`` to compile to an executable called ``prog``.