git.iko.soy/Idris-dev
on ca34dec help sign in
history ofSetup.hs
all commits
ff5322dAllow building on GHC 8.4.1Ryan Scott f351735stack test --nix should work nowJorge Acereda 2584944Fix build with Cabal 2.0.0.2 on WindowsNiklas Larsson b30057f-f execonly now builts RTS tooEdwin Brady 65c1e9bAdd custom-setupRyan Scott 9f8888aMake Setup.hs build with GHC 8.2Ryan Scott c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes 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 e9f4200Generate extra-source-files using cabal hookSteven Shaw b8bb3dcFix the icon object path so it goes in the dir.Niklas Larsson 5186d6cHook the new test infrastructure to cabalgpyh 76bb5f7Remove commented out codeEcho Nolan afe0a56Lint in Setup.hsEcho Nolan 5925424#3171: Add support for NetBSD also.Eduard Nicodei 0917cf8#3170: Use gmake if compiling on OpenBSD.Eduard Nicodei 129b7d3Fix #1957 Make man page installable.Jan de Muijnck-Hughes d0da898Use cabal function for dirNiklas Larsson f1c6f25Add the idris icon to the windows buildNiklas Larsson a238f45Bring usesGMP in sync with idris.cabalEcho Nolan d2296e9Remove unused importsMiëtek Bak 3f1b008Update bug referenceMatvey B. Aksenov 76da3a3Merge pull request #2131 from puffnfresh/bug/nix-buildDavid Christiansen dd5bd6fFix default for execonly and Nix buildBrian McKenna b9b19e5Implement bundled toolchain featureNiklas Larsson b493858Add -f execonly to omit library/rts buildsEdwin Brady e88e306Add IDE command to get Idris versionDavid Raymond Christiansen 674b58fFactor out LLVM backendMarkus Pfeiffer 67f7373Support builds that doesn't use cabal for libs and rtsniklas 7da9a4eAdd DragonFly to config.mkMarkus Pfeiffer b6a14bcFix source locations for generated version numberDavid Raymond Christiansen e985815Properly handle generation of sdist Git hashesDavid Raymond Christiansen edbb52fFix import clash in Setup.hsMelvar Chen e626474Show Git revision IDs in pre-release versionsDavid Christiansen fcfbfaaMake GMP optional (default off)Edwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady b23ac6eSupport for FreeBSDHannes Mehnert 8e53c10Fix installation of LLVM codegen's RTS to incorrect pathBenjamin Saunders 14ef6f1Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.Gabe McArthur c7cf1f0Refactored the build inside Setup.hs and the various Makefiles.Gabe McArthur afe2903Merge pull request #422 from melted/llvmEdwin Brady 4dddfafFix the LLVM flagNiklas Larsson 1931f0bBuild LLVM rts at the right stage and clean up a namespaceBenjamin Saunders 2a1c9d8LLVM test should return True if no flag is presentNiklas Larsson c5d5884Remove Java RTS build in favor of the version hosted on Maven CentralJan Bessai 7eaa86aMake LLVM optional but the defaultNiklas Larsson 378f6c9run installJavaLib also in postCopyJens Petersen 93522bcObject and executable outputsBenjamin Saunders e18c3efFixed mvn for mingw32Chetan Taralekar