Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 29, 2016

• Fix build system dir inconsistencies.

  Show description for b949b28
  

  Jan de Muijnck-Hughes

  committed
  b949b28

  Copy full SHA for b949b28

Commits on Sep 28, 2016

• Allow Idris to install IdrisDoc into a central location.

  Show description for de5a79c
  

  Jan de Muijnck-Hughes

  committed
  de5a79c

  Copy full SHA for de5a79c

Commits on Sep 9, 2016

• Install packages in sub-directory of Idris' data dir.

  

  Jan de Muijnck-Hughes

  committed
  8932658

  Copy full SHA for 8932658

Commits on Aug 6, 2016

• Generate extra-source-files using cabal hook

  steshaw

  committed
  e9f4200

  Copy full SHA for e9f4200

Commits on Aug 4, 2016

• Fix the icon object path so it goes in the dir.

  Show description for b8bb3dc
  melted

  committed
  b8bb3dc

  Copy full SHA for b8bb3dc

Commits on Jul 27, 2016

• Hook the new test infrastructure to cabal

  Show description for 5186d6c
  yacinehmito

  committed
  5186d6c

  Copy full SHA for 5186d6c

Commits on Jun 9, 2016

• Remove commented out code

  enolan

  committed
  76bb5f7

  Copy full SHA for 76bb5f7

• Lint in Setup.hs

  enolan

  committed
  afe0a56

  Copy full SHA for afe0a56

Commits on May 16, 2016

• idris-lang#3171: Add support for NetBSD also.

  neduard

  committed
  5925424

  Copy full SHA for 5925424

Commits on May 15, 2016

• idris-lang#3170: Use gmake if compiling on OpenBSD.

  neduard

  committed
  0917cf8

  Copy full SHA for 0917cf8

Commits on Apr 5, 2016

• Fix idris-lang#1957 Make man page installable.

  Show description for 129b7d3
  

  Jan de Muijnck-Hughes

  committed
  129b7d3

  Copy full SHA for 129b7d3

Commits on Jan 24, 2016

• Use cabal function for dir

  Show description for d0da898
  melted

  committed
  d0da898

  Copy full SHA for d0da898

• Add the idris icon to the windows build

  melted

  committed
  f1c6f25

  Copy full SHA for f1c6f25

Commits on Jan 10, 2016

• Bring usesGMP in sync with idris.cabal

  Show description for a238f45
  enolan

  committed
  a238f45

  Copy full SHA for a238f45

Commits on May 18, 2015

• Remove unused imports

  Show description for d2296e9
  mietek

  committed
  d2296e9

  Copy full SHA for d2296e9

Commits on May 15, 2015

• Update bug reference

  supki

  committed
  3f1b008

  Copy full SHA for 3f1b008

Commits on Apr 9, 2015

• Merge pull request idris-lang#2131 from puffnfresh/bug/nix-build

  Show description for 76da3a3
  david-christiansen

  committed
  76da3a3

  Copy full SHA for 76da3a3

• Fix default for execonly and Nix build

  puffnfresh

  committed
  dd5bd6f

  Copy full SHA for dd5bd6f

Commits on Apr 2, 2015

• Implement bundled toolchain feature

  melted

  committed
  b9b19e5

  Copy full SHA for b9b19e5

Commits on Mar 17, 2015

• Add -f execonly to omit library/rts builds

  Show description for b493858
  edwinb

  committed
  b493858

  Copy full SHA for b493858

Commits on Feb 15, 2015

• Add IDE command to get Idris version

  david-christiansen

  committed
  e88e306

  Copy full SHA for e88e306

Commits on Sep 19, 2014

• Factor out LLVM backend

  Show description for 674b58f
  markuspf

  committed
  674b58f

  Copy full SHA for 674b58f

Commits on Jun 23, 2014

• Support builds that doesn't use cabal for libs and rts

  melted

  committed
  67f7373

  Copy full SHA for 67f7373

Commits on Jan 5, 2014

• Add DragonFly to config.mk

  markuspf

  committed
  7da9a4e

  Copy full SHA for 7da9a4e

Commits on Jan 2, 2014

• Fix source locations for generated version number

  david-christiansen

  committed
  b6a14bc

  Copy full SHA for b6a14bc

• Properly handle generation of sdist Git hashes

  Show description for e985815
  david-christiansen

  committed
  e985815

  Copy full SHA for e985815

Commits on Dec 22, 2013

• Fix import clash in Setup.hs

  Show description for edbb52f
  Melvar

  committed
  edbb52f

  Copy full SHA for edbb52f

Commits on Dec 19, 2013

• Show Git revision IDs in pre-release versions

  Show description for e626474
  david-christiansen

  committed
  e626474

  Copy full SHA for e626474

Commits on Nov 25, 2013

• Make GMP optional (default off)

  Show description for fcfbfaa
  edwinb

  committed
  fcfbfaa

  Copy full SHA for fcfbfaa

Commits on Nov 20, 2013

• Moved libraries around, removed 'effects' flag

  Show description for 40924dc
  edwinb

  committed
  40924dc

  Copy full SHA for 40924dc

Commits on Nov 19, 2013

• Support for FreeBSD

  Show description for b23ac6e
  hannesm

  committed
  b23ac6e

  Copy full SHA for b23ac6e

Commits on Oct 8, 2013

• Fix installation of LLVM codegen's RTS to incorrect path

  Show description for 8e53c10
  Ralith

  committed
  8e53c10

  Copy full SHA for 8e53c10

Commits on Sep 25, 2013

• Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.

  

  Gabe McArthur

  committed
  14ef6f1

  Copy full SHA for 14ef6f1

Commits on Sep 24, 2013

• Refactored the build inside Setup.hs and the various Makefiles.

  Show description for c7cf1f0
  

  Gabe McArthur

  committed
  c7cf1f0

  Copy full SHA for c7cf1f0

Commits on Jul 28, 2013

• Merge pull request idris-lang#422 from melted/llvm

  Show description for afe2903
  edwinb

  committed
  afe2903

  Copy full SHA for afe2903

Pagination

Previous

Next