jonsterling/gist:5940947

Created July 6, 2013 19:23

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/jonsterling/5940947.js"></script>
Save jonsterling/5940947 to your computer and use it in GitHub Desktop.

Download ZIP

Installing Idris / libffi on Mac OS 10.8

Raw

gistfile1.md

Install libffi with my modified homebrew formula: https://github.com/jonsterling/homebrew/blob/master/Library/Formula/libffi.rb
export PKG_CONFIG_PATH=/usr/local/Cellar/libffi/3.0.13/lib/pkgconfig
cabal install libffi
cabal install idris

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment