git.iko.soy/Idris-dev
on 45bbe39 help sign in
history ofSetup.hs
all commits
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