git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Pkg/Package.hs
all commits
d081b00Added TODO found in Package.hsJan de Muijnck-Hughes 480024cRemove all the handle argumentsDavid Raymond Christiansen 67f7373Support builds that doesn't use cabal for libs and rtsniklas e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen dd44389Merged with masterPhilip Rasmussen 20e0bf4Merged with masterPhilip Rasmussen 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi 2df0a7fStore metavariables in ibc filesEdwin Brady 63d2989Add --repl [package] command line optionEdwin Brady 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes 970c833Merge pull request #782 from jfdm/feature/pkg-check-onlyEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady fdbee50Command line option improvements.Jan de Muijnck-Hughes 0a6fb1fDon't install packages if there are metavariablesEdwin Brady 67da31aMerge branch 'master' into cabal-libraryBrian McKenna f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna 967d422Use `showCG` instead of `show` when loading package namesBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev ac33945Wrap Idris in an ErrorTDavid Christiansen 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner e8f4bb1Some packaging fixesEdwin Brady 7bfa10cSome unification fixesEdwin Brady 8af32d4squash potential space leaks by using strict foldlraichoo fd5cddbMore platform agnostic nowChetan T f9e0605Change to Util.System for portabilityEdwin Brady 5138f54Merge pull request #104 from LeifW/make_idris_install_respect_targetEdwin Brady 614c682Fully compiles and tests under windows mingw32Chetan T 81d917fAllow $TARGET to override libdir on the `idris --install` command.Leif Warner fab5d73Adding support for Windows MingW32chetant 734a4daInstall object files from packagesEdwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady