From 8b3df3bc984a9388732c8d49fb9e6ac07c54edf9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Fri, 17 Dec 2021 16:16:53 +0100 Subject: [PATCH] [ivette] register new files --- ivette/Makefile.distrib | 9 +++++++++ ivette/headers/header_spec.txt | 9 +++++++++ 2 files changed, 18 insertions(+) diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib index 2c8d117b140..c7151c1ea54 100644 --- a/ivette/Makefile.distrib +++ b/ivette/Makefile.distrib @@ -88,6 +88,7 @@ DISTRIB_FILES += ivette/src/dome/misc/register.js DISTRIB_FILES += ivette/src/dome/misc/system.ts DISTRIB_FILES += ivette/src/dome/misc/utils.ts DISTRIB_FILES += ivette/src/dome/renderer/controls/buttons.tsx +DISTRIB_FILES += ivette/src/dome/renderer/controls/displays.tsx DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx @@ -148,6 +149,9 @@ DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/general/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/values/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generator.ml +DISTRIB_FILES += ivette/src/frama-c/client.ts +DISTRIB_FILES += ivette/src/frama-c/client_socket.ts +DISTRIB_FILES += ivette/src/frama-c/client_zmq.ts DISTRIB_FILES += ivette/src/frama-c/index.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx @@ -168,6 +172,10 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json DISTRIB_FILES += ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json DISTRIB_FILES += ivette/src/frama-c/plugins/dive/tippy.css +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/.eslintrc.js +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Coverage.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/CoverageMeter.tsx +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Summary.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/cells.ts DISTRIB_FILES += ivette/src/frama-c/plugins/eva/diffed.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx @@ -179,6 +187,7 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/eva/probes.ts DISTRIB_FILES += ivette/src/frama-c/plugins/eva/sized.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/stacks.ts DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css +DISTRIB_FILES += ivette/src/frama-c/plugins/eva/summary.css DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valueinfos.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx DISTRIB_FILES += ivette/src/frama-c/server.ts diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index a4957b30b87..5afc58c8b6e 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -88,6 +88,7 @@ src/dome/misc/register.js: CEA_LGPL src/dome/misc/system.ts: CEA_LGPL src/dome/misc/utils.ts: CEA_LGPL src/dome/renderer/controls/buttons.tsx: CEA_LGPL +src/dome/renderer/controls/displays.tsx: CEA_LGPL src/dome/renderer/controls/gallery.json: .ignore src/dome/renderer/controls/icons.tsx: CEA_LGPL src/dome/renderer/controls/labels.tsx: CEA_LGPL @@ -148,6 +149,9 @@ src/frama-c/api/generated/plugins/eva/general/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/eva/values/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/studia/studia/index.ts: CEA_LGPL src/frama-c/api/generator.ml: .ignore +src/frama-c/client.ts: CEA_LGPL +src/frama-c/client_socket.ts: CEA_LGPL +src/frama-c/client_zmq.ts: CEA_LGPL src/frama-c/index.tsx: CEA_LGPL src/frama-c/kernel/ASTinfo.tsx: CEA_LGPL src/frama-c/kernel/ASTview.tsx: CEA_LGPL @@ -168,6 +172,10 @@ src/frama-c/plugins/dive/pkg.json: .ignore src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL src/frama-c/plugins/dive/style.json: .ignore src/frama-c/plugins/dive/tippy.css: .ignore +src/frama-c/plugins/eva/.eslintrc.js: CEA_LGPL +src/frama-c/plugins/eva/Coverage.tsx: CEA_LGPL +src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL +src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL src/frama-c/plugins/eva/cells.ts: CEA_LGPL src/frama-c/plugins/eva/diffed.tsx: CEA_LGPL src/frama-c/plugins/eva/index.tsx: CEA_LGPL @@ -179,6 +187,7 @@ src/frama-c/plugins/eva/probes.ts: CEA_LGPL src/frama-c/plugins/eva/sized.tsx: CEA_LGPL src/frama-c/plugins/eva/stacks.ts: CEA_LGPL src/frama-c/plugins/eva/style.css: .ignore +src/frama-c/plugins/eva/summary.css: .ignore src/frama-c/plugins/eva/valueinfos.tsx: CEA_LGPL src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL src/frama-c/server.ts: CEA_LGPL -- GitLab