search

BryghtWords / rules_idris

Idris rules for Bazel
Apache License 2.0
13 stars 3 forks source link

update nixpkgs #1

Closed shmish111 closed 5 years ago

shmish111 commented 5 years ago

The current version won't build on latest macos, plus it's idris 1.3.0 rather than 1.3.1

marcesquerra commented 5 years ago

This version of nixpkgs doesn't seem to be able to compile idris in linux (at list not on my NixOS installation).

In any case, I'm strongly thinking on using precompiled idris binaries instead of nix, to simplify the process and usage. This is something I'm going to be trying to go ahead with this week.

shmish111 commented 5 years ago

As it happens I am using local idris binary (actually comes from nix shell on macos and I use nixpkgs master for idris 1.3.1) Maybe try latest nixpkgs unstable