polytopes_db: init at 20170220

pkgs/data/misc/polytopes_db/default.nix

@@ -0,0 +1,26 @@
+{ stdenv
+, fetchurl
+}:
+
+stdenv.mkDerivation rec {
+  pname = "polytopes_db";
+  version = "20170220";
+  name = "${pname}-${version}";
+
+  src = fetchurl {
+    url = "mirror://sageupstream/${pname}/${pname}-${version}.tar.bz2";
+    sha256 = "1q0cd811ilhax4dsj9y5p7z8prlalqr7k9mzq178c03frbgqny6b";
+  };
+
+  installPhase = ''
+    mkdir -p "$out/share/reflexive_polytopes"
+    cp -R * "$out/share/reflexive_polytopes/"
+  '';
+
+  meta = with stdenv.lib; {
+    description = "Reflexive polytopes database";
+    license = licenses.gpl2;
+    platforms = platforms.all;
+    maintainers = with maintainers; [ timokau ];
+  };
+}

pkgs/top-level/all-packages.nix

@@ -14812,6 +14812,8 @@ with pkgs;
 
   poly = callPackage ../data/fonts/poly { };
 
+  polytopes_db = callPackage ../data/misc/polytopes_db { };
+
   posix_man_pages = callPackage ../data/documentation/man-pages-posix { };
 
   powerline-fonts = callPackage ../data/fonts/powerline-fonts { };