diff options
| author | Nikolay Amiantov <ab@fmap.me> | 2016-03-26 11:43:52 +0300 |
|---|---|---|
| committer | Nikolay Amiantov <ab@fmap.me> | 2016-03-26 17:04:41 +0300 |
| commit | f273dd226c89027cf4c04aaa1bd90ddea9573c89 (patch) | |
| tree | 3057aa8e1cd6568ed9ed656fc520423edea3ac0d /pkgs/development/tools/analysis | |
| parent | 1f3b838d51508cb7690542b152749f1def6dac61 (diff) | |
| download | nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar.gz nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar.bz2 nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar.lz nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar.xz nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.tar.zst nixlib-f273dd226c89027cf4c04aaa1bd90ddea9573c89.zip | |
swarm: init at 3.1
Diffstat (limited to 'pkgs/development/tools/analysis')
| -rw-r--r-- | pkgs/development/tools/analysis/swarm/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/swarm/default.nix b/pkgs/development/tools/analysis/swarm/default.nix new file mode 100644 index 000000000000..a67d9b8d42e8 --- /dev/null +++ b/pkgs/development/tools/analysis/swarm/default.nix @@ -0,0 +1,30 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation rec { + name = "swarm-${version}"; + version = "3.1"; + + src = fetchurl { + url = "http://www.spinroot.com/swarm/swarm${version}.tar"; + sha256 = "12hi6wy0v0jfbrmgfxpnz7vxfzz3g1c6z7dj8p8kc2nm0q5bii47"; + }; + + sourceRoot = "."; + + buildPhase = '' + gcc -O2 -lm swarm.c -o swarm + ''; + + installPhase = '' + install -Dm755 swarm $out/bin/swarm + install -Dm644 swarm.1 $out/share/man/man1/swarm.1 + ''; + + meta = with stdenv.lib; { + description = "Verification script generator for Spin"; + homepage = http://spinroot.com/; + license = licenses.free; + platforms = platforms.linux; + maintainers = with maintainers; [ abbradar ]; + }; +} |