From f21d61955897fa055cc6ac38fa73134808eb87e7 Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Thu, 1 May 2014 19:14:08 -0500 Subject: [PATCH] nixpkgs: move frama-c to a more appropriate directory Signed-off-by: Austin Seipp --- .../frama-c/0004-Port-to-OCamlgraph-1.8.5.patch | 0 pkgs/development/tools/{misc => analysis}/frama-c/default.nix | 0 pkgs/top-level/all-packages.nix | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) rename pkgs/development/tools/{misc => analysis}/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch (100%) rename pkgs/development/tools/{misc => analysis}/frama-c/default.nix (100%) diff --git a/pkgs/development/tools/misc/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch b/pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch similarity index 100% rename from pkgs/development/tools/misc/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch rename to pkgs/development/tools/analysis/frama-c/0004-Port-to-OCamlgraph-1.8.5.patch diff --git a/pkgs/development/tools/misc/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix similarity index 100% rename from pkgs/development/tools/misc/frama-c/default.nix rename to pkgs/development/tools/analysis/frama-c/default.nix diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index e416cd416828..03c98daf737d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3729,7 +3729,7 @@ let coccinelle = callPackage ../development/tools/misc/coccinelle { }; - framac = callPackage ../development/tools/misc/frama-c { }; + framac = callPackage ../development/tools/analysis/frama-c { }; cppi = callPackage ../development/tools/misc/cppi { };