mirror of
https://github.com/haskell/ghcide.git
synced 2024-09-11 05:36:09 +03:00
Minimal nix-shell script (#749)
This commit is contained in:
Pepe Iborra
GitHub
parent
84af588fa0
commit
146d9a9d43
26
nix/sources.json
Normal file
26
nix/sources.json
Normal file
@ -0,0 +1,26 @@
|
||||
{
|
||||
"niv": {
|
||||
"branch": "master",
|
||||
"description": "Easy dependency management for Nix projects",
|
||||
"homepage": "https://github.com/nmattia/niv",
|
||||
"owner": "nmattia",
|
||||
"repo": "niv",
|
||||
"rev": "89ae775e9dfc2571f912156dd2f8627e14d4d507",
|
||||
"sha256": "0ssw6byyn79fpyzswi28s5b85x66xh4xsfhmcfl5mkdxxpmyy0ns",
|
||||
"type": "tarball",
|
||||
"url": "https://github.com/nmattia/niv/archive/89ae775e9dfc2571f912156dd2f8627e14d4d507.tar.gz",
|
||||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
|
||||
},
|
||||
"nixpkgs": {
|
||||
"branch": "nixpkgs-unstable",
|
||||
"description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to",
|
||||
"homepage": "https://github.com/NixOS/nixpkgs",
|
||||
"owner": "NixOS",
|
||||
"repo": "nixpkgs-channels",
|
||||
"rev": "f9567594d5af2926a9d5b96ae3bada707280bec6",
|
||||
"sha256": "0vr2di6z31c5ng73f0cxj7rj9vqvlvx3wpqdmzl0bx3yl3wr39y6",
|
||||
"type": "tarball",
|
||||
"url": "https://github.com/NixOS/nixpkgs-channels/archive/f9567594d5af2926a9d5b96ae3bada707280bec6.tar.gz",
|
||||
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
|
||||
}
|
||||
}
|
||||
134
nix/sources.nix
Normal file
134
nix/sources.nix
Normal file
@ -0,0 +1,134 @@
|
||||
# This file has been generated by Niv.
|
||||
|
||||
let
|
||||
|
||||
#
|
||||
# The fetchers. fetch_<type> fetches specs of type <type>.
|
||||
#
|
||||
|
||||
fetch_file = pkgs: spec:
|
||||
if spec.builtin or true then
|
||||
builtins_fetchurl { inherit (spec) url sha256; }
|
||||
else
|
||||
pkgs.fetchurl { inherit (spec) url sha256; };
|
||||
|
||||
fetch_tarball = pkgs: spec:
|
||||
if spec.builtin or true then
|
||||
builtins_fetchTarball { inherit (spec) url sha256; }
|
||||
else
|
||||
pkgs.fetchzip { inherit (spec) url sha256; };
|
||||
|
||||
fetch_git = spec:
|
||||
builtins.fetchGit { url = spec.repo; inherit (spec) rev ref; };
|
||||
|
||||
fetch_builtin-tarball = spec:
|
||||
builtins.trace
|
||||
''
|
||||
WARNING:
|
||||
The niv type "builtin-tarball" will soon be deprecated. You should
|
||||
instead use `builtin = true`.
|
||||
|
||||
$ niv modify <package> -a type=tarball -a builtin=true
|
||||
''
|
||||
builtins_fetchTarball { inherit (spec) url sha256; };
|
||||
|
||||
fetch_builtin-url = spec:
|
||||
builtins.trace
|
||||
''
|
||||
WARNING:
|
||||
The niv type "builtin-url" will soon be deprecated. You should
|
||||
instead use `builtin = true`.
|
||||
|
||||
$ niv modify <package> -a type=file -a builtin=true
|
||||
''
|
||||
(builtins_fetchurl { inherit (spec) url sha256; });
|
||||
|
||||
#
|
||||
# Various helpers
|
||||
#
|
||||
|
||||
# The set of packages used when specs are fetched using non-builtins.
|
||||
mkPkgs = sources:
|
||||
let
|
||||
sourcesNixpkgs =
|
||||
import (builtins_fetchTarball { inherit (sources.nixpkgs) url sha256; }) {};
|
||||
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 spec
|
||||
else if spec.type == "tarball" then fetch_tarball pkgs spec
|
||||
else if spec.type == "git" then fetch_git spec
|
||||
else if spec.type == "builtin-tarball" then fetch_builtin-tarball spec
|
||||
else if spec.type == "builtin-url" then fetch_builtin-url spec
|
||||
else
|
||||
abort "ERROR: niv spec ${name} has unknown type ${builtins.toJSON spec.type}";
|
||||
|
||||
# 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))
|
||||
);
|
||||
|
||||
# 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;
|
||||
|
||||
# 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; }
|
||||
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
|
||||
spec // { outPath = fetch config.pkgs name spec; }
|
||||
) config.sources;
|
||||
|
||||
# The "config" used by the fetchers
|
||||
mkConfig =
|
||||
{ sourcesFile ? ./sources.json
|
||||
, sources ? builtins.fromJSON (builtins.readFile sourcesFile)
|
||||
, pkgs ? mkPkgs sources
|
||||
}: 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;
|
||||
};
|
||||
in
|
||||
mkSources (mkConfig {}) // { __functor = _: settings: mkSources (mkConfig settings); }
|
||||
107
shell.nix
Normal file
107
shell.nix
Normal file
@ -0,0 +1,107 @@
|
||||
# This shell.nix file is designed for use with cabal build
|
||||
# It aims to leverage the nix cache in as much as possible
|
||||
# while reducing Nix maintenance costs.
|
||||
# It does **not** aim to replace Cabal/Stack with Nix
|
||||
|
||||
# Maintaining this file:
|
||||
#
|
||||
# - Dealing with broken nix-shell
|
||||
#
|
||||
# 1. Bump the nixpkgs version using `niv update nixpkgs`
|
||||
# 2. Comment out any remaining failing packages
|
||||
#
|
||||
# - Dealing with broken cabal build inside nix-shell:
|
||||
#
|
||||
# If my understanding of cabal new-build is correct this should never happen,
|
||||
# assuming that cabal new-build does succeed outside nix-shell
|
||||
|
||||
{ sources ? import nix/sources.nix,
|
||||
nixpkgs ? import sources.nixpkgs {},
|
||||
compiler ? "default",
|
||||
hoogle ? false
|
||||
}:
|
||||
with nixpkgs;
|
||||
|
||||
let defaultCompiler = "ghc" + lib.replaceStrings ["."] [""] haskellPackages.ghc.version;
|
||||
haskellPackagesForProject = p:
|
||||
if compiler == "default" || compiler == defaultCompiler
|
||||
then if hoogle
|
||||
then haskellPackages.ghcWithHoogle p
|
||||
else haskellPackages.ghcWithPackages p
|
||||
# for all other compilers there is no Nix cache so dont bother building deps
|
||||
else if hoogle
|
||||
then haskell.packages.${compiler}.ghcWithHoogle (_: [])
|
||||
else haskell.packages.${compiler}.ghcWithPackages (_: []);
|
||||
|
||||
compilerWithPackages = haskellPackagesForProject(p:
|
||||
with p;
|
||||
[ aeson
|
||||
async
|
||||
base16-bytestring
|
||||
Chart
|
||||
Chart-diagrams
|
||||
cryptohash-sha1
|
||||
data-default
|
||||
diagrams
|
||||
diagrams-svg
|
||||
extra
|
||||
fuzzy
|
||||
ghc-check
|
||||
gitrev
|
||||
happy
|
||||
haskell-lsp
|
||||
haskell-lsp-types
|
||||
hie-bios
|
||||
hslogger
|
||||
lens
|
||||
lsp-test
|
||||
network
|
||||
optparse-applicative
|
||||
QuickCheck
|
||||
quickcheck-instances
|
||||
prettyprinter
|
||||
prettyprinter-ansi-terminal
|
||||
regex-tdfa
|
||||
rope-utf16-splay
|
||||
safe
|
||||
safe-exceptions
|
||||
shake
|
||||
sorted-list
|
||||
stm
|
||||
syb
|
||||
tasty
|
||||
tasty-expected-failure
|
||||
tasty-hunit
|
||||
tasty-rerun
|
||||
tasty-quickcheck
|
||||
temporary
|
||||
text
|
||||
time
|
||||
transformers
|
||||
typed-process
|
||||
unordered-containers
|
||||
utf8-string
|
||||
yaml
|
||||
]);
|
||||
in
|
||||
stdenv.mkDerivation {
|
||||
name = "ghcide";
|
||||
buildInputs = [
|
||||
gmp
|
||||
zlib
|
||||
ncurses
|
||||
|
||||
haskellPackages.cabal-install
|
||||
haskellPackages.hlint
|
||||
haskellPackages.ormolu
|
||||
haskellPackages.stylish-haskell
|
||||
|
||||
compilerWithPackages
|
||||
|
||||
];
|
||||
src = null;
|
||||
shellHook = ''
|
||||
export LD_LIBRARY_PATH=${gmp}/lib:${zlib}/lib:${ncurses}/lib
|
||||
export PATH=$PATH:$HOME/.local/bin
|
||||
'';
|
||||
}
|
||||
Loading…
Reference in New Issue
Block a user