Drop the tabulate dependecy

runtimeverification · Jul 22, 2022 · baa35bb · baa35bb
1 parent aab5118
commit baa35bb
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 56 deletions.
diff --git a/pyk/nix/overlay.nix b/pyk/nix/overlay.nix
@@ -1,8 +1,4 @@
 self: super: {
-  types-tabulate = self.callPackage ./packages/types-tabulate { };
-
-  tabulate = self.callPackage ./packages/tabulate { };
-
   graphviz = self.callPackage ./packages/graphviz { };
 
   pyk = self.callPackage ./packages/pyk { };

diff --git a/pyk/nix/packages/pyk/default.nix b/pyk/nix/packages/pyk/default.nix
@@ -2,15 +2,15 @@
 # If you run pynixify again, the file will be either overwritten or
 # deleted, and you will lose the changes you made to it.
 
-{ buildPythonPackage, fetchPypi, graphviz, lib, tabulate, types-tabulate }:
+{ buildPythonPackage, fetchPypi, graphviz, lib }:
 
 buildPythonPackage rec {
   pname = "pyk";
   version = "0.1.dev0";
 
   src = lib.cleanSource ../../..;
 
-  propagatedBuildInputs = [ graphviz tabulate types-tabulate ];
+  propagatedBuildInputs = [ graphviz ];
 
   # TODO FIXME
   doCheck = false;

diff --git a/pyk/nix/packages/tabulate/default.nix b/pyk/nix/packages/tabulate/default.nix
diff --git a/pyk/nix/packages/types-tabulate/default.nix b/pyk/nix/packages/types-tabulate/default.nix
diff --git a/pyk/requirements/base.txt b/pyk/requirements/base.txt
@@ -1,3 +1 @@
 graphviz==0.19.1
-tabulate==0.8.6
-types-tabulate==0.8.6
diff --git a/pyk/setup.cfg b/pyk/setup.cfg
@@ -9,8 +9,6 @@ package_dir =
     =src
 install_requires =
     graphviz == 0.19.1
-    tabulate == 0.8.6
-    types-tabulate == 0.8.6
 
 [options.package_data]
 * = py.typed