pyrox.dev
1{ lib, stdenv
2, fetchurl
3}:
4
5stdenv.mkDerivation rec {
6 pname = "polytopes_db";
7 version = "20170220";
8
9 src = fetchurl {
10 url = "mirror://sageupstream/${pname}/${pname}-${version}.tar.bz2";
11 sha256 = "1q0cd811ilhax4dsj9y5p7z8prlalqr7k9mzq178c03frbgqny6b";
12 };
13
14 installPhase = ''
15 mkdir -p "$out/share/reflexive_polytopes"
16 cp -R * "$out/share/reflexive_polytopes/"
17 '';
18
19 meta = with lib; {
20 description = "Reflexive polytopes database";
21 license = licenses.gpl2;
22 platforms = platforms.all;
23 maintainers = teams.sage.members;
24 };
25}