mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-29 18:33:00 +00:00
571c71e6f7
We are migrating packages that meet below requirements:
1. using `callPackage`
2. called path is a directory
3. overriding set is empty (`{ }`)
4. not containing path expressions other than relative path (to
makenixpkgs-vet happy)
5. not referenced by nix files outside of the directory, other
than`pkgs/top-level/all-packages.nix`
6. not referencing nix files outside of the directory
7. not referencing `default.nix` (since it's changed to `package.nix`)
8. `outPath` doesn't change after migration
The tool is here: https://github.com/Aleksanaa/by-name-migrate.
71 lines
1.6 KiB
Nix
71 lines
1.6 KiB
Nix
{ lib
|
|
, stdenvNoCC
|
|
, fetchurl
|
|
, jre8
|
|
, makeWrapper
|
|
, makeDesktopItem
|
|
, copyDesktopItems
|
|
}:
|
|
|
|
stdenvNoCC.mkDerivation rec {
|
|
pname = "jflap";
|
|
version = "7.1";
|
|
|
|
src = fetchurl {
|
|
url = "https://www.jflap.org/jflaptmp/july27-18/JFLAP${version}.jar";
|
|
sha256 = "oiwJXdxWsYFj6Ovu7xZbOgTLVw8160a5YQUWbgbJlAY=";
|
|
};
|
|
|
|
nativeBuildInputs = [
|
|
makeWrapper
|
|
copyDesktopItems
|
|
];
|
|
|
|
buildInputs = [
|
|
jre8
|
|
];
|
|
|
|
dontUnpack = true;
|
|
|
|
desktopItems = [
|
|
(makeDesktopItem {
|
|
name = "jflap";
|
|
desktopName = "jflap";
|
|
genericName = "Formal language application";
|
|
exec = "jflap";
|
|
icon = fetchurl {
|
|
url = "https://www.jflap.org/jflapLogo2.jpg";
|
|
sha256 = "sha256-IiworHI+GT6Fm6B0E+FXnKe+hN8nZYPrxHGZFAcsWDw=";
|
|
};
|
|
comment = meta.description;
|
|
categories = [
|
|
"Development"
|
|
"Education"
|
|
"ComputerScience"
|
|
"DataVisualization"
|
|
"Engineering"
|
|
"Java"
|
|
];
|
|
})
|
|
];
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
mkdir -p $out/share/java
|
|
cp -s $src $out/share/java/jflap.jar
|
|
makeWrapper ${jre8}/bin/java $out/bin/jflap \
|
|
--prefix _JAVA_OPTIONS : "-Dawt.useSystemAAFontSettings=on" \
|
|
--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 = with maintainers; [ grnnja yuu ];
|
|
platforms = jre8.meta.platforms;
|
|
};
|
|
}
|