Merge pull request #52588 from marsam/init-fffuu

fffuu: init at unstable-2018-05-26
This commit is contained in:
Mario Rodas 2019-08-10 09:52:31 -05:00 committed by GitHub
commit 1c7cf9493c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 53 additions and 0 deletions

View file

@ -0,0 +1,51 @@
{ mkDerivation, haskellPackages, fetchFromGitHub, lib }:
mkDerivation rec {
pname = "fffuu";
version = "unstable-2018-05-26";
src = fetchFromGitHub {
owner = "diekmann";
repo = "Iptables_Semantics";
rev = "e0a2516bd885708fce875023b474ae341cbdee29";
sha256 = "1qc7p44dqja6qrjbjdc2xn7n9v41j5v59sgjnxjj5k0mxp58y1ch";
};
postPatch = ''
substituteInPlace haskell_tool/fffuu.cabal \
--replace "containers >=0.5 && <0.6" "containers >= 0.6" \
--replace "optparse-generic >= 1.2.3 && < 1.3" "optparse-generic >= 1.2.3"
'';
preCompileBuildDriver = ''
cd haskell_tool
'';
isLibrary = false;
isExecutable = true;
# fails with sandbox
doCheck = false;
libraryHaskellDepends = with haskellPackages; [
base
containers
split
parsec
optparse-generic
];
executableHaskellDepends = with haskellPackages; [ base ];
testHaskellDepends = with haskellPackages; [
tasty
tasty-hunit
tasty-golden
];
description = "Fancy Formal Firewall Universal Understander";
homepage = https://github.com/diekmann/Iptables_Semantics/tree/master/haskell_tool;
license = lib.licenses.bsd2;
maintainers = [ lib.maintainers.marsam ];
}

View file

@ -9389,6 +9389,8 @@ in
flootty = callPackage ../development/tools/flootty { };
fffuu = haskell.lib.justStaticExecutables (haskellPackages.callPackage ../tools/misc/fffuu { });
flow = callPackage ../development/tools/analysis/flow {
inherit (darwin.apple_sdk.frameworks) CoreServices;
};