New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add TLAPS and TLA+ Toolbox #38589
Add TLAPS and TLA+ Toolbox #38589
Conversation
Terminal=false | ||
Name=TLA Toolbox | ||
Categories=Application;Development; | ||
StartupWMClass=TLA+ Toolbox |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For desktop items we usually use this:
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ooh that's useful. I'll do that. Thanks for the pointer!
''; | ||
homepage = https://tla.msr-inria.inria.fr/tlaps/content/Home.html; | ||
license = stdenv.lib.licenses.bsd2; | ||
platforms = stdenv.lib.platforms.unix; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you want to maintain this package? https://nixos.wiki/wiki/Nixpkgs#Becoming_a_Nixpkgs_maintainer
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
sure, sounds fun :)
''; | ||
# http://lamport.azurewebsites.net/tla/license.html | ||
license = with lib.licenses; [ mit ]; | ||
platforms = stdenv.lib.platforms.linux; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
And this.
, makeWrapper | ||
, stdenv | ||
, ocaml, gawk, isabelle, cvc3, perl, wget, which | ||
, ... |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
...
should be removed.
@@ -0,0 +1,80 @@ | |||
{ lib, fetchzip, makeWrapper, makeDesktopItem, stdenv, jre, swt, gtk, libXtst, glib | |||
, ... }: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
also here.
|
||
chmod +x $out/bin/tla-toolbox | ||
|
||
wrapProgram "$out/bin/tla-toolbox" \ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
if you use makeWrapper
, you don't need the echo
above. It also has a --run
parameter for the cd
command and --add-flags
for arguments.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for pointing that out!
Adapted to use makeWrapper
.
Motivation for this change
This attempts to address #18640.
Testing:
tlaplusToolbox
: I've been using this without unexpected issues (pdf generation needspdflatex
in thePATH
).tlaps
: Bothtlapm
andzenon
run and produce their usage information.Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)