Code

Build on Nixpkgs/NixOS#4405

Code

Open

jacereda wants to merge 28 commits intoidris-lang:masteridris-lang/Idris-dev:masterfrom jacereda:build-on-nixpkgsjacereda/Idris-dev:build-on-nixpkgsCopy head branch name to clipboard

+256-282

Commits

Commits on Mar 30, 2018

• Trying to enhance the experience on NixOS/Nixpkgs

  jacereda

  committed
  ab23462

  Copy full SHA for ab23462

• Missing space

  jacereda

  committed
  0e0bd1a

  Copy full SHA for 0e0bd1a

• Merge

  jacereda

  committed
  52d9600

  Copy full SHA for 52d9600

• Merge branch 'build-on-nixpkgs' of https://github.com/jacereda/Idris-dev into build-on-nixpkgs

  jacereda

  committed
  44df85b

  Copy full SHA for 44df85b

Commits on Mar 31, 2018

• Enable tests

  jacereda

  committed
  150e586

  Copy full SHA for 150e586

Commits on Apr 2, 2018

• Merge

  jacereda

  committed
  f723856

  Copy full SHA for f723856

• cabal test wasn't building the executables

  jacereda

  committed
  8009e2b

  Copy full SHA for 8009e2b

• Blind attempt at fixing Setup for Cabal-1

  jacereda

  committed
  55dc5db

  Copy full SHA for 55dc5db

Commits on Apr 3, 2018

• Apply stylish-haskell suggestion

  jacereda

  committed
  af91928

  Copy full SHA for af91928

Commits on Apr 4, 2018

• Restore timeouts via ulimit

  jacereda

  committed
  5b018fe

  Copy full SHA for 5b018fe

• Avoid perl dependency

  jacereda

  committed
  b6ed5d0

  Copy full SHA for b6ed5d0

• Tests failed on windows due to ulimit -t, timeout script using node

  jacereda

  committed
  2b60976

  Copy full SHA for 2b60976

• Use another method to export IDRIS

  jacereda

  committed
  6a2151b

  Copy full SHA for 6a2151b

Commits on Apr 5, 2018

• Generate base nix expression with cabal2nix from Makefile

  jacereda

  committed
  f1ef4c6

  Copy full SHA for f1ef4c6

• Use callCabal2nix

  jacereda

  committed
  9db7c86

  Copy full SHA for 9db7c86

• Warning

  jacereda

  committed
  78d6af9

  Copy full SHA for 78d6af9

• Patch node shebang

  jacereda

  committed
  734e480

  Copy full SHA for 734e480

• Get rid of shell.nix and idris.nix

  jacereda

  committed
  caccebd

  Copy full SHA for caccebd

• Avoid duplicated CFLAGS

  jacereda

  committed
  4c23999

  Copy full SHA for 4c23999

• Don't force compiler

  jacereda

  committed
  3e6e470

  Copy full SHA for 3e6e470

• Use installed idris when testing on appveyor

  jacereda

  committed
  cf3d89f

  Copy full SHA for cf3d89f

• Merge master

  jacereda

  committed
  cc13c44

  Copy full SHA for cc13c44

• Revert travis test

  jacereda

  committed
  405c415

  Copy full SHA for 405c415

Commits on Apr 7, 2018

• Leak warning

  jacereda

  committed
  8d76d46

  Copy full SHA for 8d76d46

Commits on Apr 19, 2018

• Merge branch 'master' of https://github.com/idris-lang/Idris-dev into build-on-nixpkgs

  jacereda

  committed
  70e2514

  Copy full SHA for 70e2514

Commits on May 3, 2018

• Merge master

  jacereda

  committed
  5e209f1

  Copy full SHA for 5e209f1

• Merge master

  jacereda

  committed
  42616f9

  Copy full SHA for 42616f9

Commits on May 24, 2018

• Merge

  jacereda

  committed
  93d5656

  Copy full SHA for 93d5656