Remove outdated paths

ispras · Jul 14, 2023 · 5b272c4 · 5b272c4
1 parent e24dc1c
commit 5b272c4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/scripts/components/__init__.py b/scripts/components/__init__.py
@@ -23,12 +23,10 @@
 
 # Default location of additional tools.
 CIL = "cil"
-ET_LIB = "klever"
 ET_HTML_LIB = "et html"
 BENCHEXEC = "benchexec"
 CPACHECKER = "cpachecker"
 CIF = "cif"
-CLADE = "clade"
 UPLOADER = "uploader"
 DEFAULT_CPACHECKER_SCRIPTS_PATH = "scripts"
 

diff --git a/tools/config.json b/tools/config.json
@@ -4,7 +4,6 @@
         "frama_c_cil/toplevel.opt",
         "cil/obj/x86_LINUX/cilly.asm.exe"
     ],
-    "klever": "klever/core",
     "et html": "klever/bridge",
     "uploader": "klever/utils/bin/upload-reports.py",
     "benchexec": "benchexec/bin",