git.iko.soy/Idris-dev
on cf47310 help sign in
history ofsrc/Util/System.hs
all commits
e86b0f6Check for TTY when setting colourNiklas Larsson 8809bf2Ensure that the backend output is UTF8Niklas Larsson b9b19e5Implement bundled toolchain featureNiklas Larsson 4dd164cSet encoding for read files.Niklas Larsson 5300c53Fix :exec on WindowsNiklas Larsson 3725081Remove Cabal library dependency and add more upper boundsbmsherman f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna fcfbfaaMake GMP optional (default off)Edwin Brady b23ac6eSupport for FreeBSDHannes Mehnert b42116fWhy "do" when you can "<$>"?Leif Warner 3c32b65Whitespace cleanup.George Leontiev 467bb68Java RTS Version bump to include isNull, Maven POM gets installed correctlyJan Bessai 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders fc5bd4aneed to update mvn during build as wellChetan Taralekar 59456cdImprove FFI accuracy in executorDavid Christiansen a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai a41e971Fix Util.System so that it compiles again...Edwin Brady fd5cddbMore platform agnostic nowChetan T 1d0c6aaFixing compilation in Mingw32Chetan T 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2533b8dAdd missing fileEdwin Brady