alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #162172 from grnnja/init-jflap

Browse source 
jflap: init at 7.1
This commit is contained in:
Lassulus 2022-04-12 12:08:26 +01:00 committed by GitHub
parent 7cc59b4811 b6c7526d3a
commit 8ca12e04fe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 40 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View file

@ -4714,6 +4714,12 @@
githubId = 343415;
name = "Greg Roodt";
};
grnnja = {
email = "grnnja@gmail.com";
github = "grnnja";
githubId = 31556469;
name = "Prem Netsuwan";
};
gruve-p = {
email = "groestlcoin@gmail.com";
github = "gruve-p";

32
pkgs/applications/science/programming/jflap/default.nix Normal file
View file

@ -0,0 +1,32 @@
{ 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;
maintainers = [ maintainers.grnnja ];
platforms = platforms.all;
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -32614,6 +32614,8 @@ with pkgs;
groove = callPackage ../applications/science/programming/groove { };
jflap = callPackage ../applications/science/programming/jflap { };
plm = callPackage ../applications/science/programming/plm { };
### SCIENCE/LOGIC