diff --git a/flake.lock b/flake.lock
index c92ec499..770e2a5f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1,5 +1,21 @@
 {
   "nodes": {
+    "alliance-check-toolkit": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1624038537,
+        "narHash": "sha256-Z8erR1YbKR7ndHU75Yb6DOSzj07ZJB2GGx+zSJvNJ7Y=",
+        "ref": "master",
+        "rev": "f28f970148e8f942fb2cf971d41333d42c1d886b",
+        "revCount": 269,
+        "type": "git",
+        "url": "https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git"
+      },
+      "original": {
+        "type": "git",
+        "url": "https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1628776130,
@@ -18,6 +34,7 @@
     },
     "root": {
       "inputs": {
+        "alliance-check-toolkit": "alliance-check-toolkit",
         "nixpkgs": "nixpkgs"
       }
     }
diff --git a/flake.nix b/flake.nix
index 04b665d1..2a8074c9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,8 +5,10 @@
 
   # Nixpkgs / NixOS version to use.
   inputs.nixpkgs.url = "github:NixOS/nixpkgs?ref=nixos-21.05";
+  inputs.alliance-check-toolkit.url = "git+https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git";
+  inputs.alliance-check-toolkit.flake = false;
 
-  outputs = { self, nixpkgs }:
+  outputs = { self, nixpkgs, alliance-check-toolkit }:
     let
 
       # Generate a user-friendly version numer.
@@ -63,10 +65,10 @@
         "lefdef" "bootstrap" "cumulus" "coloquinte"
         "equinox" "knik" "ispd" "karakaze" "nimbus"
         "metis" "mauka" "solstice" "stratus1"
-        "documentation" "unittests"
+        "documentation" "unittests" "alliance-check-toolkit"
       ];
 
-      commonArgs = { inherit version meta generic; };
+      commonArgs = { inherit version meta generic; alliance-src = alliance-check-toolkit; };
 
     in
 
diff --git a/nix/alliance-check-toolkit.nix b/nix/alliance-check-toolkit.nix
new file mode 100644
index 00000000..6dbdf52d
--- /dev/null
+++ b/nix/alliance-check-toolkit.nix
@@ -0,0 +1,20 @@
+{ alliance-src, ... }:
+
+{ stdenv, coriolis-unicorn }:
+stdenv.mkDerivation {
+  pname = "alliance-check-toolkit";
+  version = builtins.substring 0 8 alliance-src.lastModifiedDate;
+  src = alliance-src;
+
+  nativeBuildInputs = [ coriolis-unicorn ];
+
+  configurePhase = "true";
+  buildPhase = ''
+    cd benchs/adder/cmos
+    echo 'doing make druc'
+    make druc
+    echo 'doing make lvx'
+    make lvx
+  '';
+  installPhase = "true";
+}