From c62f95af7cb631739ee87013291873955bb87678 Mon Sep 17 00:00:00 2001
From: Las Safin <me@las.rs>
Date: Fri, 3 Sep 2021 13:49:43 +0000
Subject: [PATCH] Get adder/cmos test working!

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

diff --git a/nix/alliance-check-toolkit.nix b/nix/alliance-check-toolkit.nix
index 856315d9..2b3cf819 100644
--- a/nix/alliance-check-toolkit.nix
+++ b/nix/alliance-check-toolkit.nix
@@ -1,6 +1,7 @@
 { alliance-src, ... }:
 
-{ stdenv, coriolis-unicorn, coriolis-cumulus, python2Packages, alliance, yosys }:
+{ stdenv, coriolis-combined, coriolis-unicorn, coriolis-cumulus
+, python2Packages, alliance, yosys }:
 
 stdenv.mkDerivation {
   pname = "alliance-check-toolkit";
@@ -11,7 +12,7 @@ stdenv.mkDerivation {
 
   YOSYS_TOP = "${yosys}";
   ALLIANCE_TOP = "${alliance}";
-  CORIOLIS_TOP = "${coriolis-unicorn}";
+  CORIOLIS_TOP = "${coriolis-combined}";
   # The user configuration for verhaegs is empty,
   # which is why we use it.
   USER = "verhaegs";
@@ -25,6 +26,6 @@ stdenv.mkDerivation {
     echo 'doing make lvx'
     make lvx
   '';
-  installPhase = "true";
+  installPhase = "touch $out";
   fixupPhase = "true";
 }