From a75ae460e46b943fb96a315978b43a5fdb212829 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Mar 2022 16:23:26 +0100
Subject: [PATCH] [ci] use new make target in aorai-prove step
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 3f5ec865f65..3f8c57a38d5 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -253,7 +253,7 @@ pkgs.lib.makeExtensible
HOME=$(pwd)/home
why3 config detect
make src/plugins/aorai/tests/ptests_config
- make PTESTS_OPTS="-config prove -error-code" Aorai_TESTS
+ make PTESTS_OPTS="-error-code" aorai-test-prove
'';
installPhase = ''
--
GitLab