From 36b754ced044f3a5d5f4b23aba4c49e5c2ed417d Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Mon, 15 Feb 2021 16:26:14 +0100 Subject: [PATCH] [configure] fix dependency: slicing requires sparecode --- configure.in | 1 + 1 file changed, 1 insertion(+) diff --git a/configure.in b/configure.in index 0d6550cc285..af127c049ee 100644 --- a/configure.in +++ b/configure.in @@ -832,6 +832,7 @@ plugin_require(slicing,from_analysis) plugin_require(slicing,pdg) plugin_require(slicing,eva) plugin_require(slicing,callgraph) +plugin_require(slicing,sparecode) plugin_use(slicing,gui) # spare code -- GitLab