diff options
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 ]; }; |