haskell - Cabal fails to install Idris language on OSX Lion -


i'm trying install idris language in osx lion using installation guide provided on official tutorial. have alraedy installed gmp. error get:

$ cabal install idris resolving dependencies... configuring libffi-0.1... cabal: pkg-config package libffi required not found. [1 of 1] compiling main             ( /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/t/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/setup.hs, /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/t/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/dist/setup/main.o ) linking /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/t/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/dist/setup/setup ... setup: program llvm-config version ==3.3.* required not found. cabal: error: packages failed install: idris-0.9.9 depends on llvm-general-3.3.5.0 failed install. libffi-0.1 failed during configure step. exception was: exitfailure 1 llvm-general-3.3.5.0 failed during configure step. exception was: exitfailure 1

trying install idris without llvm produces error:

$ cabal install idris -f-llvm resolving dependencies... configuring libffi-0.1... cabal: pkg-config package libffi required not found. cabal: error: packages failed install: idris-0.9.9 depends on libffi-0.1 failed install. libffi-0.1 failed during configure step. exception was: exitfailure 1

the first error indicates should install llvm development packages of distribution (not through cabal) , second indicates should install development package gcc libffi library. linux distribution using? or on windows/mac?


Comments

Post a Comment

Popular posts from this blog

html - How to style widget with post count different than without post count -

i have border below li elements in wordpress widget types appropriate. element inside set block gives them nice easy click full width. the problem, when choose option "show post count" when adding widget such categories or archives displays post count plain text after tag , because tag block pushes post number text line below. whether choose show post count or not show post count still gives exact same element identifyer example "widget_categories". how style post count not on next line still keep links non post count list items full width? here's example on sidebar www.bbmthemes.com/themes/modular/blog-standard/ in order solve problem need remove display:block; for ul.widgets ul a , add in it's place line-height: 33px; what going achieve have same visual effect. what going lose doing links going work on text , not on "box". the other way out of find post count coming , make changes this. example change text count i
Read more

How to remove text and logo OR add Overflow on Android ActionBar using AppCompat on API 8? -

have researched death , cannot find answer. i have actionbar using appcompat. supporting api v7 (api v8 do). actionbar works api v11. api < v11 has problem of removing icon (and feature) actionbar without supplying overflow. big picture have app logo, app title, , 3 icons squidging same actionbar on low end phone. trying make room! i happy 1 of 2 solutions. either: a method of getting overflow functionality can retrieved pull down. (preferred) method of removing icon , text actionbar below current xml api 11+: <resources> <!-- base application theme api 11+. theme replaces appbasetheme res/values/styles.xml on api 11+ devices. --> <style name="appbasetheme" parent="theme.appcompat.light.darkactionbar"> <item name="android:actionbarstyle">@style/liteactionbarstyle</item> <item name="actionbarstyle">@style/liteactionbarstyle</item> </st
Read more

javascript - storing input from prompt in array and displaying the array -

i want take the inputs user prompt, store input in array, , display it. want take 10 inputs user using for loop. have tried do-while shown below. var givennames = new array(); var pattern = /[\w\d]{1,}/ig; do{ var name = prompt("enter names. letters , digits accepted!\nentering empty field stops asking",""); if(name && name.match(pattern)){givennames.push(name);} } while(name != ""); function displaynames(){ if(givennames.length > 0){ document.getelementbyid("list").innerhtml = "<span style='color:navy;font- weight:bold;'>given names are:<\/span><br><br>" + givennames.join("<br><br>"); } else { document.getelementbyid("list").innerhtml = "<span style='color:navy;font-weight:bold;'>nothing has been given!<\/span>"; } } how replace for loop? var givennames = new array();
Read more