git.iko.soy/Idris-dev
on master help sign in
history ofsrc/IRTS/System.hs
all commits
c889dc9Define IDRIS_GMP if compiling with real GMPNiklas Larsson d2c207cUse cc instead of gcc on non-windows platformsJorge Acereda 1cdf39cReorder link flagsJorge Acereda f351735stack test --nix should work nowJorge Acereda 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes e42792fDrop trailing separators when specifying dirs to compilerNiklas Larsson d1bc3faMake fetching of data files more robust. Fixes #3544Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan b949b28Fix build system dir inconsistencies.Jan de Muijnck-Hughes de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 8932658Install packages in sub-directory of Idris' data dir.Jan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 5925424#3171: Add support for NetBSD also.Eduard Nicodei b20cff5#3171: Use *_HOST_OS instead of flags defined in idris.cabal.Eduard Nicodei 3ce13cbCleanup main warnings (#3123)Leif Warner 6859fe7Util method for overriding libdir w/ env var.Leif Warner 581b884Cleanup env var lookupLeif Warner acbcadbUnrelated misc golf.Leif Warner ac80229Add feature to add compiler flags from environment with IDRIS_CFLAGSNiklas Larsson 27e4266Add IDRIS_LIBRARY_PATH environment variableBrian McKenna 27d6b04Call gcc using rawSystemMelvar Chen 67f7373Support builds that doesn't use cabal for libs and rtsniklas ea08a2eAdd more ifdefs for DragonFlyMarkus Pfeiffer f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna