-
Notifications
You must be signed in to change notification settings - Fork 18
/
default.nix
87 lines (83 loc) · 2.37 KB
/
default.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
# Nix package for development
#
## INSTALL
#
# To build and install the packages in the user environment, use:
#
# $ nix-env -f . -i
#
## BUILD ONLY
#
# To build the packages and add it to the nix store, use:
#
# $ nix-build
#
## SHELL
#
# To launch a shell with all dependencies installed in the environment:
#
# $ nix-shell -A typedefs
#
# After entering nix-shell, build it:
#
# $ make
#
## NIXPKGS
#
# For all of the above commands, nixpkgs to use can be set the following way:
#
# a) by default it uses nixpkgs pinned to a known working version
#
# b) use the default nixpkgs from the system:
# --arg pkgs 0
#
# c) use nixpkgs from an URL
# --arg pkgs 0 -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/19.09.tar.gz
#
# c) use nixpkgs at a given path
# --arg pkgs /path/to/nixpkgs
{
pkgs ? null,
}:
let
config = {
packageOverrides = pkgs: {
idrisPackages = pkgs.idrisPackages.override {
# We override the 'idrisPackages' packaget set
# This means, that all these package definitions will 'see' eachother
# e.g. if typedefs depends on typedefs-core, callPackage will automatically inject it
# Add new idris packages to this list
overrides = idrisPackagesNew: idrisPackagesOld: {
typedefs-core= idrisPackagesNew.callPackage ./typedefs-core.nix {};
typedefs = idrisPackagesNew.callPackage ./typedefs.nix {};
typedefs-js = idrisPackagesNew.callPackage ./typedefs-js.nix {};
typedefs-examples = idrisPackagesNew.callPackage ./typedefs-examples.nix {};
optparse = idrisPackagesNew.callPackage ./optparse.nix {};
};
};
};
};
syspkgs = import <nixpkgs> { };
pinpkgs = syspkgs.fetchFromGitHub {
owner = "NixOS";
repo = "nixpkgs";
# binary cache exists for revisions listed in https://nixos.org/channels/
rev = "11342b9ecf1524bfa1f8258d5925b519a8ae8a60";
sha256 = "16zlz82cwzvgsqfh6q2mx6dmzhnk8g1drz9b7n299iszdgagl5m6";
};
usepkgs = (
if null == pkgs
then import pinpkgs
else if 0 == pkgs
then import <nixpkgs>
else import pkgs) { inherit config; };
stdenv = usepkgs.stdenvAdapters.keepDebugInfo usepkgs.stdenv;
in {
# This attribute set exposes what things will be built by a call to nix-build. See
# its as the "CI" entrypoint.
inherit (usepkgs.idrisPackages)
typedefs-core
typedefs
typedefs-js
typedefs-examples;
}