diff options
| author | Vincent Laporte | 2019-03-15 13:37:28 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-18 08:56:11 +0000 |
| commit | 23f2c0405fe55d3c2f63e65880da906acf213254 (patch) | |
| tree | a59ddadb0e213ecb7b2797f0933c7dd6232bf33a | |
| parent | b159fc36aa38bbe1ce3d87d96adffe161baf8662 (diff) | |
[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”
| -rw-r--r-- | dev/ci/nix/default.nix | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index 992a246863..6dc0a71edc 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -20,8 +20,16 @@ let mathcomp = coqPackages.mathcomp.overrideAttrs (o: { let ssreflect = coqPackages.ssreflect.overrideAttrs (o: { inherit (mathcomp) src; }); in -let coq-ext-lib = coqPackages.coq-ext-lib; in -let simple-io = coqPackages.simple-io; in + +let coq-ext-lib = coqPackages.coq-ext-lib.overrideAttrs (o: { + src = fetchTarball "https://github.com/coq-ext-lib/coq-ext-lib/tarball/master"; + }); in + +let simple-io = coqPackages.simple-io.overrideAttrs (o: { + src = fetchTarball "https://github.com/Lysxia/coq-simple-io/tarball/master"; + buildInputs = o.buildInputs ++ [ coq-ext-lib ]; + }); in + let bignums = coqPackages.bignums.overrideAttrs (o: if bn == "release" then {} else if bn == "master" then { src = fetchTarball https://github.com/coq/bignums/archive/master.tar.gz; } else |