diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-05-13 06:47:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-13 06:47:14 +0200 |
commit | 1f11888116d74b814acd1071a2f49523bf2a4aa7 (patch) | |
tree | 0c32d4aa2f6a64762b18860aa6dc2a780b2209b8 /pkgs/development/coq-modules/heq/default.nix | |
parent | 215235cce56b0a7322d52e6a94e65ec59dc83b7d (diff) |
Revert "coqPackages: etc"
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
Diffstat (limited to 'pkgs/development/coq-modules/heq/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/heq/default.nix | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/pkgs/development/coq-modules/heq/default.nix b/pkgs/development/coq-modules/heq/default.nix index c3a815eb5c87e..4bf9139b49473 100644 --- a/pkgs/development/coq-modules/heq/default.nix +++ b/pkgs/development/coq-modules/heq/default.nix @@ -1,26 +1,22 @@ {lib, fetchzip, mkCoqDerivation, coq, version ? null }: -let fetcher = {rev, repo, owner, sha256, domain, ...}: - fetchzip { - url = "https://${domain}/${owner}/${repo}/download/${repo}-${rev}.zip"; - inherit sha256; - }; in with lib; mkCoqDerivation { pname = "heq"; repo = "Heq"; - owner = "gil.hur"; - domain = "sf.snu.ac.kr"; + owner = "gil"; + domain = "mpi-sws.org"; inherit version fetcher; defaultVersion = if versions.isLt "8.8" coq.coq-version then "0.92" else null; release."0.92".sha256 = "0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74"; mlPlugin = true; - preBuild = "cd src"; + propagatedBuildInputs = [ coq ]; - extraInstallFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; + extraInstallFlags = [ "COQLIB=$out/lib/coq/${coq.coq-version}" ]; + preBuild = "cd src"; meta = { - homepage = "https://ropas.snu.ac.kr/~gil.hur/Heq/"; + homepage = "https://www.mpi-sws.org/~gil/Heq/"; description = "Heq : a Coq library for Heterogeneous Equality"; maintainers = with maintainers; [ jwiegley ]; }; |