mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 01:07:18 +03:00
Patch hoogle binary to include bugfix (#9366)
This includes https://github.com/ndmitchell/hoogle/pull/367. As usual, I unfortunately cannot test this myself so please review carefully. Note that this will slightly increase compile times since we will now build hoogle. However, we still only build hoogle rather than everything which takes less than 2min on my very weak personal laptop. We could integrate this with our nix cache but for now, I’m not that worried about this. changelog_begin changelog_end Co-authored-by: Gary Verhaegen <gary.verhaegen@digitalasset.com>
This commit is contained in:
parent
dc4b9e5968
commit
91b65e8004
@ -41,12 +41,12 @@ locals {
|
||||
{
|
||||
suffix = "-blue",
|
||||
ubuntu_version = "2004",
|
||||
size = 3,
|
||||
size = 0,
|
||||
},
|
||||
{
|
||||
suffix = "-green",
|
||||
ubuntu_version = "2004",
|
||||
size = 0,
|
||||
size = 3,
|
||||
}
|
||||
]
|
||||
}
|
||||
@ -112,7 +112,21 @@ curl -sSfL https://nixos.org/nix/install | sh
|
||||
# Feel free to bump the commit, this was the latest
|
||||
# # at the time of creation.
|
||||
NIX_PATH=nixpkgs=https://github.com/NixOS/nixpkgs/archive/c50e680b03adecae01fdd1ea4e44c82e641de0cf.tar.gz
|
||||
HOOGLE_PATH=$(nix-build --no-out-link -E '(import <nixpkgs> {}).haskellPackages.hoogle')
|
||||
cat << EOF > /home/hoogle/hoogle_overlay.nix
|
||||
super:
|
||||
{
|
||||
haskellPackages = super.haskellPackages.override {
|
||||
overrides = haskellSelf: haskellSuper: {
|
||||
hoogle = super.haskell.lib.appendPatch haskellSuper.hoogle
|
||||
(super.fetchurl {
|
||||
url = "https://patch-diff.githubusercontent.com/raw/ndmitchell/hoogle/pull/367.patch";
|
||||
sha256 = "1p0xdnfjicl5zp6g0fkqjk9mgm6fqzl7sz0v5m51chzd7lwx181y";
|
||||
});
|
||||
};
|
||||
};
|
||||
}
|
||||
EOF
|
||||
HOOGLE_PATH=$(nix-build --no-out-link -E '((import /home/hoogle/hoogle_overlay.nix) (import <nixpkgs> {})).haskellPackages.hoogle')
|
||||
mkdir -p /home/hoogle/.local/bin
|
||||
ln -s $HOOGLE_PATH/bin/hoogle /home/hoogle/.local/bin/hoogle
|
||||
cat > /home/hoogle/refresh-db.sh <<MAKE_DB
|
||||
|
Loading…
Reference in New Issue
Block a user