on master help sign in
Bump reflex-platform

to a version that exposes ghcjs-externs-js at the top level which makes it more convenient to have access to when using thunks

commit0ea55655be9c95929ab2e9fa5c8fe338a952fc27 authorLuigy Leon <luigy@outlook.com> dateWed 16 May 2018, 14:37 (8 years ago) parent4893b14
2 files changed+18−9
dep/reflex-platform/default.nix+15−6 dep/reflex-platform/github.json+3−3
dep/reflex-platform/default.nix+15−6
@@ -1,7 +1,16 @@
11# DO NOT HAND-EDIT THIS FILE
2−import ((import <nixpkgs> {}).fetchFromGitHub (
3− let json = builtins.fromJSON (builtins.readFile ./github.json);
4− in { inherit (json) owner repo rev sha256;
5− private = json.private or false;
6− }
7−))
2+let
3+ fetch = { private ? false, ... }@args: if private && builtins.hasAttr "fetchGit" builtins
4+ then fetchFromGitHubPrivate args
5+ else (import <nixpkgs> {}).fetchFromGitHub (builtins.removeAttrs args ["branch"]);
6+ fetchFromGitHubPrivate =
7+ { owner, repo, rev, branch ? null, name ? null, sha256 ? null, private ? false
8+ , fetchSubmodules ? false, githubBase ? "github.com", ...
9+ }: assert !fetchSubmodules;
10+ builtins.fetchGit ({
11+ url = "ssh://git@${githubBase}/${owner}/${repo}.git";
12+ inherit rev;
13+ }
14+ // (if branch == null then {} else { ref = branch; })
15+ // (if name == null then {} else { inherit name; }));
16+in import (fetch (builtins.fromJSON (builtins.readFile ./github.json)))
dep/reflex-platform/github.json+3−3
@@ -1,7 +1,7 @@
11{
22 "owner": "reflex-frp",
33 "repo": "reflex-platform",
4− "branch": "develop",
5− "rev": "f70d210a59a2817293d3b6c3d960b5710aae5c03",
6− "sha256": "0hm4im0865j1vxdqhy987dp2v0wcqy5xfx2nzxq625slnsf458p1"
4+ "branch": "expose-ghcjs-externs-js",
5+ "rev": "0e2bf510ea89cdb916e3db91d695602ed8aa8f7b",
6+ "sha256": "11yg0c6fd0cfh17n1mp64l40mb5cqr13g8190q0b66nwqswlqyx9"
77}