From 4f266c04eb02bd80e6aa0c7ce29b947ac6f0a550 Mon Sep 17 00:00:00 2001
From: Las Safin <me@las.rs>
Date: Thu, 2 Sep 2021 22:39:29 +0000
Subject: [PATCH] Get alliance check toolkit to fail

---
 nix/alliance-check-toolkit.nix | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/nix/alliance-check-toolkit.nix b/nix/alliance-check-toolkit.nix
index f84c4241..11bb5d3d 100644
--- a/nix/alliance-check-toolkit.nix
+++ b/nix/alliance-check-toolkit.nix
@@ -1,14 +1,19 @@
 { alliance-src, ... }:
 
-{ stdenv, coriolis-unicorn, yosys }:
+{ stdenv, coriolis-unicorn, alliance, yosys }:
 stdenv.mkDerivation {
   pname = "alliance-check-toolkit";
   version = builtins.substring 0 8 alliance-src.lastModifiedDate;
   src = alliance-src;
 
-  nativeBuildInputs = [ coriolis-unicorn yosys ];
+  nativeBuildInputs = [ alliance coriolis-unicorn yosys ];
 
   YOSYS_TOP = "${yosys}";
+  ALLIANCE_TOP = "${alliance}";
+  CORIOLIS_TOP = "${coriolis-unicorn}";
+  # The user configuration for verhaegs is empty,
+  # which is why we use it.
+  USER = "verhaegs";
 
   configurePhase = "true";
   buildPhase = ''