From 8fb7a9d9f844e2b92c99f61467750e74e8a7193f Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 4 Nov 2021 15:34:23 +0100 Subject: [PATCH] [distrib] add missing files from ivette distribution --- ivette/Makefile.distrib | 4 ++++ ivette/headers/header_spec.txt | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib index ed4123a71fc..2c8d117b140 100644 --- a/ivette/Makefile.distrib +++ b/ivette/Makefile.distrib @@ -154,9 +154,12 @@ DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/Messages.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx +DISTRIB_FILES += ivette/src/frama-c/kernel/Status.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/style.css +DISTRIB_FILES += ivette/src/frama-c/menu.ts DISTRIB_FILES += ivette/src/frama-c/pkg.json DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx @@ -183,6 +186,7 @@ DISTRIB_FILES += ivette/src/frama-c/states.ts DISTRIB_FILES += ivette/src/frama-c/utils.ts DISTRIB_FILES += ivette/src/ivette/index.tsx DISTRIB_FILES += ivette/src/ivette/prefs.tsx +DISTRIB_FILES += ivette/src/ivette/sandbox.tsx DISTRIB_FILES += ivette/src/main/index.js DISTRIB_FILES += ivette/src/renderer/Application.tsx DISTRIB_FILES += ivette/src/renderer/Controller.tsx diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index b0b1dd8d027..a4957b30b87 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -154,9 +154,12 @@ src/frama-c/kernel/ASTview.tsx: CEA_LGPL src/frama-c/kernel/Globals.tsx: CEA_LGPL src/frama-c/kernel/History.tsx: CEA_LGPL src/frama-c/kernel/Locations.tsx: CEA_LGPL +src/frama-c/kernel/Messages.tsx: CEA_LGPL src/frama-c/kernel/Properties.tsx: CEA_LGPL src/frama-c/kernel/SourceCode.tsx: CEA_LGPL +src/frama-c/kernel/Status.tsx: CEA_LGPL src/frama-c/kernel/style.css: .ignore +src/frama-c/menu.ts: CEA_LGPL src/frama-c/pkg.json: .ignore src/frama-c/plugins/dive/cytoscape_libs.js: CEA_LGPL src/frama-c/plugins/dive/index.tsx: CEA_LGPL @@ -183,6 +186,7 @@ src/frama-c/states.ts: CEA_LGPL src/frama-c/utils.ts: CEA_LGPL src/ivette/index.tsx: CEA_LGPL src/ivette/prefs.tsx: CEA_LGPL +src/ivette/sandbox.tsx: CEA_LGPL src/main/index.js: CEA_LGPL src/renderer/Application.tsx: CEA_LGPL src/renderer/Controller.tsx: CEA_LGPL -- GitLab