X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5869c55c15b9563fe5f7ab4e54e21cf1eff8dbfe..de054f9c7a56304ef1227a0664eba51161e9a8a4:/docs/default.nix

diff --git a/docs/default.nix b/docs/default.nix
index 7ba4219008..3e2622d164 100644
--- a/docs/default.nix
+++ b/docs/default.nix
@@ -20,7 +20,6 @@ let
         pythonPackages.sphinx
         pythonPackages.sphinx_rtd_theme
         pythonPackages.breathe
-        javasphinx
         sphinx-tabs
       ];
       phases = [ "unpackPhase" "buildPhase" "installPhase" ];
@@ -35,37 +34,6 @@ let
       '';
     };
 
-    # sphinx extensions (and their dependencies) shenanigans
-    javalang = buildPythonPackage rec {
-      pname = "javalang";
-      version = "0.13.0";
-      src = pythonPackages.fetchPypi {
-        inherit pname version;
-        sha256 = "0k22ldm4xn0sb26qclp5zz0fc9dy589zvvby5ba1d0d5h2jab08n";
-      };
-      buildInputs = with pythonPackages; [ six ];
-      doCheck = false;
-    };
-
-    javasphinx = buildPythonPackage rec {
-      pname = "javasphinx";
-      version = "0.9.15+simgrid";
-      src = pkgs.fetchFromGitHub {
-        owner = "simgrid";
-        repo = pname;
-        rev = "659209069603a5f221596dd039e724cb89b31b82";
-        sha256 = "1nbz822zd2ikzzmpyqsrrpqvlpng72qvl86wcqfn89szbp85c20a";
-      };
-      propagatedBuildInputs = with pythonPackages; [
-        beautifulsoup4
-        docutils
-        javalang
-        future
-        lxml
-        sphinx
-      ];
-    };
-
     sphinx-tabs = pythonPackages.buildPythonPackage rec {
       pname = "sphinx-tabs";
       version = "3.1.0";