Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
2.4 kB · 83 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384{ lib, stdenv, fetchurl, jre, makeWrapper, makeDesktopItem,}:
let generic = { version, sha256 }: stdenv.mkDerivation rec { pname = "alloy${lib.versions.major version}"; inherit version;
src = fetchurl { inherit sha256; url = "https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v${version}/org.alloytools.alloy.dist.jar"; };
desktopItem = makeDesktopItem rec { name = pname; exec = name; icon = name; desktopName = "Alloy ${lib.versions.major version}"; genericName = "Relational modelling tool"; comment = meta.description; categories = [ "Development" "IDE" "Education" ]; };
nativeBuildInputs = [ makeWrapper ];
buildCommand = '' jar=$out/share/alloy/${pname}.jar install -Dm644 $src $jar
mkdir -p $out/bin makeWrapper ${jre}/bin/java $out/bin/${pname} --add-flags \ "-jar $jar"
install -Dm644 ${./icon.png} $out/share/pixmaps/${pname}.png cp -r ${desktopItem}/share/applications $out/share '';
meta = with lib; { description = "Language & tool for relational models"; longDescription = '' Alloy is a language for describing structures and a tool for exploring them. An Alloy model is a collection of constraints that describes a set of structures, e.g. all the possible security configurations of a web application, or all the possible topologies of a switching network. The Alloy Analyzer is a solver that takes the constraints of a model and finds structures that satisfy them. Structures are displayed graphically, and their appearance can be customized for the domain at hand. ''; homepage = "https://alloytools.org/"; downloadPage = "https://alloytools.org/download.html"; sourceProvenance = with sourceTypes; [ binaryBytecode ]; license = licenses.mit; platforms = platforms.unix; maintainers = with maintainers; [ notbandali ]; }; };
inrec { alloy5 = generic { version = "5.1.0"; sha256 = "sha256-o7Q+jsmWeUeuotUQG9lrPE6w2B6z3Ju6QcyWSTScaQo="; };
alloy6 = generic { version = "6.2.0"; sha256 = "sha256-a4wctbyTvt/HxhQ1xOGrbmiKJC3HAqOUYo2amAHtt40="; };
alloy = alloy5;}