From 7d46a38e2cceeb64a28e9383f09d75cb52d8c962 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 13 Aug 2022 13:29:35 -0400
Subject: [PATCH] fix compilation in unittest

---
 unittest/old/dune            | 2 +-
 unittest/old/regression/dune | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/unittest/old/dune b/unittest/old/dune
index da6b7015..95f488d2 100644
--- a/unittest/old/dune
+++ b/unittest/old/dune
@@ -19,7 +19,7 @@
  (targets basic.drup)
  (deps
   (:pb basic.cnf)
-  (:solver ../main/main.exe))
+  (:solver ../../src/main/main.exe))
  (action
   (run %{solver} %{pb} -t 2 -o %{targets})))
 
diff --git a/unittest/old/regression/dune b/unittest/old/regression/dune
index a5440a9a..8bd5feb3 100644
--- a/unittest/old/regression/dune
+++ b/unittest/old/regression/dune
@@ -2,11 +2,11 @@
  (targets reg_model_lra1.out)
  (deps
   (:file reg_model_lra1.smt2)
-  ../../main/main.exe)
+  (:main ../../../src/main/main.exe))
  (action
   (with-stdout-to
    %{targets}
-   (bash "../../main/main.exe %{file} | tail -n +2"))))
+   (bash "%{main} %{file} | tail -n +2"))))
 
 (rule
  (alias runtest)