From 509c699cdf9bc661cd84f9a761932e0ee1002fdd Mon Sep 17 00:00:00 2001
From: Simon Garrelou <simon.garrelou@airbus.com>
Date: Mon, 16 Oct 2023 13:07:38 +0200
Subject: Add miasm, msynth, passwdqc

---
 default.nix | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 default.nix

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..1a2f679
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,24 @@
+{ pkgs ? import <nixpkgs> {} }:
+let
+  setupPkg = { name, extraArgs ? {} }: pkgs.callPackage ./pkgs/${name}/package.nix extraArgs;
+in
+rec {
+  miasm = setupPkg { 
+    name = "miasm";
+    extraArgs = { 
+      inherit (pkgs.python3.pkgs) buildPythonPackage;
+      inherit (pkgs.python3Packages) future pyparsing;
+    }; 
+  };
+
+  msynth = setupPkg {
+    name = "msynth";
+    extraArgs = { 
+      inherit (pkgs.python3.pkgs) buildPythonPackage;
+      inherit (pkgs.python3Packages) z3 future;
+      inherit miasm;
+    }; 
+  };
+
+  passwdqc = setupPkg { name = "passwdqc"; };
+}
-- 
cgit v1.2.3