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

IIS->Tomcat Redirect: multiple worker with default -

i trying configure multiple instances of tomcat (7) behind single domain in iis. tomcat instances both run on separate ports. have installed tomcat isapi_rediect.dll , configured iis. everything works redirector, except (you knew coming) being told "all other traffic must mapped 1 of 2 instances (they different applications). more accurate requests except specific pattern need mapped 1 worker , specific pattern (/rpt) needs go other worker. i have 2 workers defined in workers.properties: worker.list=ajp13_1,ajp13_2 worker.ajp13_1.port=8009 worker.ajp13_2.port=8010 and following in uriworkermap.properties: /wxx|/*=ajp13_1 /rpt|/*=ajp13_2 with this, seems fine. except (considerable) number of request not include wxx scope. need map rpt , sub content ajp3_2 , other requests ajp3_1. if add /|*=ajp13_1 then ajp3_2 becomes unreachable , wildchar match maps /rpt/* uri ajp3_1. is there way trying do? appreciate help- have spent time reading same references ...
Read more