This repository has been archived by the owner on Jan 7, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 22
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #53 from jkachmar/ghcide-0.3
Update to ghcide-0.3.0
- Loading branch information
Showing
5 changed files
with
175 additions
and
93 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -11,12 +11,13 @@ jobs: | |
| runs-on: ${{ matrix.os }} | ||
| steps: | ||
| - run: sudo rm -rf /opt || true | ||
| #- run: sudo rm -rf /usr/local || true | ||
| - uses: actions/[email protected] | ||
| - uses: cachix/install-nix-action@v10 | ||
| - uses: cachix/cachix-action@v6 | ||
| with: | ||
| name: ghcide-nix | ||
| signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' | ||
| - run: cachix use iohk | ||
| - run: nix-build | ||
| - run: | | ||
| nix-build \ | ||
| --substituters https://hydra.iohk.io \ | ||
| --trusted-public-keys hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,89 +1,171 @@ | ||
| # This file has been generated by Niv. | ||
|
|
||
| # A record, from name to path, of the third-party packages | ||
| with rec | ||
| { | ||
| pkgs = | ||
| if hasNixpkgsPath | ||
| then | ||
| if hasThisAsNixpkgsPath | ||
| then import (builtins_fetchTarball { inherit (sources_nixpkgs) url sha256; }) {} | ||
| else import <nixpkgs> {} | ||
| let | ||
|
|
||
| # | ||
| # The fetchers. fetch_<type> fetches specs of type <type>. | ||
| # | ||
|
|
||
| fetch_file = pkgs: name: spec: | ||
| let | ||
| name' = sanitizeName name + "-src"; | ||
| in | ||
| if spec.builtin or true then | ||
| builtins_fetchurl { inherit (spec) url sha256; name = name'; } | ||
| else | ||
| pkgs.fetchurl { inherit (spec) url sha256; name = name'; }; | ||
|
|
||
| fetch_tarball = pkgs: name: spec: | ||
| let | ||
| name' = sanitizeName name + "-src"; | ||
| in | ||
| if spec.builtin or true then | ||
| builtins_fetchTarball { name = name'; inherit (spec) url sha256; } | ||
| else | ||
| pkgs.fetchzip { name = name'; inherit (spec) url sha256; }; | ||
|
|
||
| fetch_git = name: spec: | ||
| let | ||
| ref = | ||
| if spec ? ref then spec.ref else | ||
| if spec ? branch then "refs/heads/${spec.branch}" else | ||
| if spec ? tag then "refs/tags/${spec.tag}" else | ||
| abort "In git source '${name}': Please specify `ref`, `tag` or `branch`!"; | ||
| in | ||
| builtins.fetchGit { url = spec.repo; inherit (spec) rev; inherit ref; }; | ||
|
|
||
| fetch_local = spec: spec.path; | ||
|
|
||
| fetch_builtin-tarball = name: throw | ||
| ''[${name}] The niv type "builtin-tarball" is deprecated. You should instead use `builtin = true`. | ||
| $ niv modify ${name} -a type=tarball -a builtin=true''; | ||
|
|
||
| fetch_builtin-url = name: throw | ||
| ''[${name}] The niv type "builtin-url" will soon be deprecated. You should instead use `builtin = true`. | ||
| $ niv modify ${name} -a type=file -a builtin=true''; | ||
|
|
||
| # | ||
| # Various helpers | ||
| # | ||
|
|
||
| # https://github.com/NixOS/nixpkgs/pull/83241/files#diff-c6f540a4f3bfa4b0e8b6bafd4cd54e8bR695 | ||
| sanitizeName = name: | ||
| ( | ||
| concatMapStrings (s: if builtins.isList s then "-" else s) | ||
| ( | ||
| builtins.split "[^[:alnum:]+._?=-]+" | ||
| ((x: builtins.elemAt (builtins.match "\\.*(.*)" x) 0) name) | ||
| ) | ||
| ); | ||
|
|
||
| # The set of packages used when specs are fetched using non-builtins. | ||
| mkPkgs = sources: system: | ||
| let | ||
| sourcesNixpkgs = | ||
| import (builtins_fetchTarball { inherit (sources.nixpkgs) url sha256; }) { inherit system; }; | ||
| hasNixpkgsPath = builtins.any (x: x.prefix == "nixpkgs") builtins.nixPath; | ||
| hasThisAsNixpkgsPath = <nixpkgs> == ./.; | ||
| in | ||
| if builtins.hasAttr "nixpkgs" sources | ||
| then sourcesNixpkgs | ||
| else if hasNixpkgsPath && ! hasThisAsNixpkgsPath then | ||
| import <nixpkgs> {} | ||
| else | ||
| abort | ||
| '' | ||
| Please specify either <nixpkgs> (through -I or NIX_PATH=nixpkgs=...) or | ||
| add a package called "nixpkgs" to your sources.json. | ||
| ''; | ||
|
|
||
| # The actual fetching function. | ||
| fetch = pkgs: name: spec: | ||
|
|
||
| if ! builtins.hasAttr "type" spec then | ||
| abort "ERROR: niv spec ${name} does not have a 'type' attribute" | ||
| else if spec.type == "file" then fetch_file pkgs name spec | ||
| else if spec.type == "tarball" then fetch_tarball pkgs name spec | ||
| else if spec.type == "git" then fetch_git name spec | ||
| else if spec.type == "local" then fetch_local spec | ||
| else if spec.type == "builtin-tarball" then fetch_builtin-tarball name | ||
| else if spec.type == "builtin-url" then fetch_builtin-url name | ||
| else | ||
| import (builtins_fetchTarball { inherit (sources_nixpkgs) url sha256; }) {}; | ||
| abort "ERROR: niv spec ${name} has unknown type ${builtins.toJSON spec.type}"; | ||
|
|
||
| sources_nixpkgs = | ||
| if builtins.hasAttr "nixpkgs" sources | ||
| then sources.nixpkgs | ||
| else abort | ||
| '' | ||
| Please specify either <nixpkgs> (through -I or NIX_PATH=nixpkgs=...) or | ||
| add a package called "nixpkgs" to your sources.json. | ||
| ''; | ||
| # If the environment variable NIV_OVERRIDE_${name} is set, then use | ||
| # the path directly as opposed to the fetched source. | ||
| replace = name: drv: | ||
| let | ||
| saneName = stringAsChars (c: if isNull (builtins.match "[a-zA-Z0-9]" c) then "_" else c) name; | ||
| ersatz = builtins.getEnv "NIV_OVERRIDE_${saneName}"; | ||
| in | ||
| if ersatz == "" then drv else ersatz; | ||
|
|
||
| # Ports of functions for older nix versions | ||
|
|
||
| # a Nix version of mapAttrs if the built-in doesn't exist | ||
| mapAttrs = builtins.mapAttrs or ( | ||
| f: set: with builtins; | ||
| listToAttrs (map (attr: { name = attr; value = f attr set.${attr}; }) (attrNames set)) | ||
| ); | ||
|
|
||
| # https://github.com/NixOS/nixpkgs/blob/0258808f5744ca980b9a1f24fe0b1e6f0fecee9c/lib/lists.nix#L295 | ||
| range = first: last: if first > last then [] else builtins.genList (n: first + n) (last - first + 1); | ||
|
|
||
| # https://github.com/NixOS/nixpkgs/blob/0258808f5744ca980b9a1f24fe0b1e6f0fecee9c/lib/strings.nix#L257 | ||
| stringToCharacters = s: map (p: builtins.substring p 1 s) (range 0 (builtins.stringLength s - 1)); | ||
|
|
||
| # https://github.com/NixOS/nixpkgs/blob/0258808f5744ca980b9a1f24fe0b1e6f0fecee9c/lib/strings.nix#L269 | ||
| stringAsChars = f: s: concatStrings (map f (stringToCharacters s)); | ||
| concatMapStrings = f: list: concatStrings (map f list); | ||
| concatStrings = builtins.concatStringsSep ""; | ||
|
|
||
| # https://github.com/NixOS/nixpkgs/blob/8a9f58a375c401b96da862d969f66429def1d118/lib/attrsets.nix#L331 | ||
| optionalAttrs = cond: as: if cond then as else {}; | ||
|
|
||
| # fetchTarball version that is compatible between all the versions of Nix | ||
| builtins_fetchTarball = | ||
| { url, sha256 }@attrs: | ||
| let | ||
| inherit (builtins) lessThan nixVersion fetchTarball; | ||
| in | ||
| if lessThan nixVersion "1.12" then | ||
| fetchTarball { inherit url; } | ||
| else | ||
| fetchTarball attrs; | ||
| builtins_fetchTarball = { url, name ? null, sha256 }@attrs: | ||
| let | ||
| inherit (builtins) lessThan nixVersion fetchTarball; | ||
| in | ||
| if lessThan nixVersion "1.12" then | ||
| fetchTarball ({ inherit url; } // (optionalAttrs (!isNull name) { inherit name; })) | ||
| else | ||
| fetchTarball attrs; | ||
|
|
||
| # fetchurl version that is compatible between all the versions of Nix | ||
| builtins_fetchurl = | ||
| { url, sha256 }@attrs: | ||
| let | ||
| inherit (builtins) lessThan nixVersion fetchurl; | ||
| in | ||
| if lessThan nixVersion "1.12" then | ||
| fetchurl { inherit url; } | ||
| builtins_fetchurl = { url, name ? null, sha256 }@attrs: | ||
| let | ||
| inherit (builtins) lessThan nixVersion fetchurl; | ||
| in | ||
| if lessThan nixVersion "1.12" then | ||
| fetchurl ({ inherit url; } // (optionalAttrs (!isNull name) { inherit name; })) | ||
| else | ||
| fetchurl attrs; | ||
|
|
||
| # Create the final "sources" from the config | ||
| mkSources = config: | ||
| mapAttrs ( | ||
| name: spec: | ||
| if builtins.hasAttr "outPath" spec | ||
| then abort | ||
| "The values in sources.json should not have an 'outPath' attribute" | ||
| else | ||
| fetchurl attrs; | ||
|
|
||
| # A wrapper around pkgs.fetchzip that has inspectable arguments, | ||
| # annoyingly this means we have to specify them | ||
| fetchzip = { url, sha256 }@attrs: pkgs.fetchzip attrs; | ||
|
|
||
| hasNixpkgsPath = (builtins.tryEval <nixpkgs>).success; | ||
| hasThisAsNixpkgsPath = | ||
| (builtins.tryEval <nixpkgs>).success && <nixpkgs> == ./.; | ||
|
|
||
| sources = builtins.fromJSON (builtins.readFile ./sources.json); | ||
|
|
||
| mapAttrs = builtins.mapAttrs or | ||
| (f: set: with builtins; | ||
| listToAttrs (map (attr: { name = attr; value = f attr set.${attr}; }) (attrNames set))); | ||
|
|
||
| # borrowed from nixpkgs | ||
| functionArgs = f: f.__functionArgs or (builtins.functionArgs f); | ||
| callFunctionWith = autoArgs: f: args: | ||
| let auto = builtins.intersectAttrs (functionArgs f) autoArgs; | ||
| in f (auto // args); | ||
|
|
||
| getFetcher = spec: | ||
| let fetcherName = | ||
| if builtins.hasAttr "type" spec | ||
| then builtins.getAttr "type" spec | ||
| else "builtin-tarball"; | ||
| in builtins.getAttr fetcherName { | ||
| "tarball" = fetchzip; | ||
| "builtin-tarball" = builtins_fetchTarball; | ||
| "file" = pkgs.fetchurl; | ||
| "builtin-url" = builtins_fetchurl; | ||
| spec // { outPath = replace name (fetch config.pkgs name spec); } | ||
| ) config.sources; | ||
|
|
||
| # The "config" used by the fetchers | ||
| mkConfig = | ||
| { sourcesFile ? if builtins.pathExists ./sources.json then ./sources.json else null | ||
| , sources ? if isNull sourcesFile then {} else builtins.fromJSON (builtins.readFile sourcesFile) | ||
| , system ? builtins.currentSystem | ||
| , pkgs ? mkPkgs sources system | ||
| }: rec { | ||
| # The sources, i.e. the attribute set of spec name to spec | ||
| inherit sources; | ||
|
|
||
| # The "pkgs" (evaluated nixpkgs) to use for e.g. non-builtin fetchers | ||
| inherit pkgs; | ||
| }; | ||
| }; | ||
| # NOTE: spec must _not_ have an "outPath" attribute | ||
| mapAttrs (_: spec: | ||
| if builtins.hasAttr "outPath" spec | ||
| then abort | ||
| "The values in sources.json should not have an 'outPath' attribute" | ||
| else | ||
| if builtins.hasAttr "url" spec && builtins.hasAttr "sha256" spec | ||
| then | ||
| spec // | ||
| { outPath = callFunctionWith spec (getFetcher spec) { }; } | ||
| else spec | ||
| ) sources | ||
|
|
||
| in | ||
| mkSources (mkConfig {}) // { __functor = _: settings: mkSources (mkConfig settings); } |