jflap: refactoring, add xdg desktop item (#173905)

Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>

1 files changed, 0 insertions, 33 deletions

diff --git a/pkgs/applications/science/programming/jflap/default.nix b/pkgs/applications/science/programming/jflap/default.nix
deleted file mode 100644
index 4a6193f1acb74..0000000000000
--- a/pkgs/applications/science/programming/jflap/default.nix
+++ /dev/null
@@ -1,33 +0,0 @@
-{ lib, stdenv, fetchurl, jre, makeWrapper }:
-
-stdenv.mkDerivation rec {
-  pname = "jflap";
-  version = "7.1";
-
-  src = fetchurl {
-    url = "https://www.jflap.org/jflaptmp/july27-18/JFLAP7.1.jar";
-    sha256 = "oiwJXdxWsYFj6Ovu7xZbOgTLVw8160a5YQUWbgbJlAY=";
-  };
-
-  nativeBuildInputs = [ makeWrapper ];
-
-  dontUnpack = true;
-  dontBuild = true;
-
-  installPhase = ''
-    runHook preInstall
-    mkdir -p $out/share/java
-    cp -s $src $out/share/java/jflap.jar
-    makeWrapper ${jre}/bin/java $out/bin/jflap --add-flags "-jar $out/share/java/jflap.jar"
-    runHook postInstall
-  '';
-
-  meta = with lib; {
-    description = "GUI tool for experimenting with formal languages topics";
-    homepage = "https://www.jflap.org/";
-    license = licenses.unfree;
-    sourceProvenance = with sourceTypes; [ binaryBytecode ];
-    maintainers = [ maintainers.grnnja ];
-    platforms = platforms.all;
-  };
-}