reewide: Purge all uses stdenv.system and top-level system

It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
parent 94f71d800d
commit 2c2f1e37d4
263 changed files with 594 additions and 577 deletions
@@ -12,7 +12,7 @@ let
  url = "https://github.com/GaloisInc/saw-script/releases/download";

  saw-bin =
-    if stdenv.system == "i686-linux"
+    if stdenv.hostPlatform.system == "i686-linux"
    then fetchurl {
      url    = url + "/v0.1.1-dev/saw-0.1.1-dev-2015-07-31-CentOS6-32.tar.gz";
      sha256 = "126iag5nnvndi78c921z7vjrjfwcspn1hlxwwhzmqm4rvbhhr9v9";