From a50dd7dbb8b2ed7f711e56ecfc9e08c4615700c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 29 Sep 2020 15:32:34 +0200
Subject: [PATCH] remove universe dependency
---
ptests/ptests.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index 4f92ad35a84..b57f84b5cee 100644
--- a/ptests/ptests.ml
+++ b/ptests/ptests.ml
@@ -1138,7 +1138,7 @@ let command_string ~result_fmt ~oracle_fmt command =
Format.fprintf result_fmt
"(rule\n \
(targets %S %S %a)\n \
- (deps %a %S (package frama-c)%a (universe))\n \
+ (deps %a %S (package frama-c)%a)\n \
(action (with-stderr-to %S (with-stdout-to %S %s(with-accepted-exit-codes (or 0 1 125) (system %S))%s)))\n\
)@."
errlog
@@ -1156,7 +1156,7 @@ let command_string ~result_fmt ~oracle_fmt command =
Format.fprintf result_fmt
"(rule\n \
(alias %S)\n \
- (deps %a %S (package frama-c)%t (universe))\n \
+ (deps %a %S (package frama-c)%t)\n \
(action (system %S))\n\
)\n"
command.file
--
GitLab