git.iko.soy/Idris-dev
on 0222012 help sign in
history ofsrc/IRTS/CodegenCommon.hs
all commits
6859fe7Util method for overriding libdir w/ env var.Leif Warner 581b884Cleanup env var lookupLeif Warner d4371e6Generate interface files for C->Idris callsEdwin Brady f7648dbForeign export lists in IOEdwin Brady 8e6b636Optimisation optionsEdwin Brady f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 630c8b4Adds the ability to keep around the generated maven projectJan Bessai f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders aa0693eDisambiguate catch explicitly in CodegenCommonEdwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders