git.iko.soy/Idris-dev
on ef93607 help sign in
history ofSetup.hs
all commits
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 9dea448javascript: added javascript lib packageraichoo cf9d50fRemove dynamically loaded RTS due to 32/64-bit issues on OS XDavid Christiansen ecd9eadMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 27e3c69Use just-built dynamic RTS during library typecheckDavid Christiansen b68a1a7Flag to disable effectsJan Bessai c9d32afChange NoJava flag to Java, and make no java back end the defaultEdwin Brady a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai 1b46872Added compile flag support to deactivate creation of the java backendJan Bessai 0b5a5b3Added effects package and associated testsEdwin Brady fd5cddbMore platform agnostic nowChetan T fab5d73Adding support for Windows MingW32chetant ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady 232b6f6Undo Setup.hs changeEdwin Brady 2316dc9-i option added (thanks to Dirk Ullrich)Edwin Brady e7906baAdded support/ directory so that library can use C support filesEdwin Brady 74a25e8Rewrite cabal config to be distribution friendly.Tom Prince 12c93edUpdate to Setup,hs (via Dirk Ullrich)Edwin Brady 4c3fb9bAnother cabal fixEdwin Brady 6611494Fix for install with latest cabalEdwin Brady ec7c1b8Get cabal to check library after installEdwin Brady