on iko/ghcjs-patch-master help sign in
drop the prebuilt rocksdb (#775)
commitd6cf50358240a777a5c30421b4e9e98c3da5e20c authorMichael Bishop <michael.bishop@iohk.io> dateMon 20 Jul 2020, 23:00 (6 years ago) parent4ee2988
2 files changed−39
config.nix−9 pkgs/rocksdb-prebuilt.nix−30
config.nix−9
@@ -8,14 +8,5 @@
88
99 # This is marked insecure on 20.03, but many packages still depend on it
1010 permittedInsecurePackages = [ "openssl-1.0.2u" ];
11−
12− # sadly we need to patch GHC a bit.
13− packageOverrides = ps: with ps; let
14− in rec {
15− rocksdb = with ps.stdenv;
16− if hostPlatform.isWindows
17− then pkgs.callPackage ./pkgs/rocksdb-prebuilt.nix { inherit (buildPackages) fetchurl unzip; }
18− else ps.rocksdb;
19− };
2011}
2112
pkgs/rocksdb-prebuilt.nixdeleted−30
@@ -1,30 +0,0 @@
1−{ stdenv, fetchurl, unzip }:
2−stdenv.mkDerivation {
3− name = "rocksdb-prebuilt";
4− src = fetchurl {
5− url = "https://s3.eu-central-1.amazonaws.com/ci-static/serokell-rocksdb-haskell-325427fc709183c8fdf777ad5ea09f8d92bf8585.zip";
6− sha256 = "11w6nbg39y7n3j7d5p4mvls3h5sbld71nx8yxxrckh8ak8yr6kwp";
7− };
8− nativeBuildInputs = [ unzip ];
9− buildInputs = [ unzip ];
10−
11− unpackPhase = ''
12− unzip $src
13− '';
14− dontBuild = true;
15− installPhase = ''
16− install -d $out/lib
17− # dlls
18− for dll in $(find . -name "*.dll"); do
19− install -C -m 755 $dll $out/lib
20− done
21− # libs
22− for lib in $(find . -name "*.lib"); do
23− install -C -m 755 $lib $out/lib
24− done
25− # archives
26− for archive in $(find . -name "*.a"); do
27− install -C -m 755 $archive $out/lib
28− done
29− '';
30−}