Skip to content
Snippets Groups Projects
Commit 8fb7a9d9 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[distrib] add missing files from ivette distribution

parent 3322f1d1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/Makefile.distrib
+ 4
− 0
View file @ 8fb7a9d9
...@@ -154,9 +154,12 @@ DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx ...@@ -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/Globals.tsx
DISTRIB_FILES += ivette/src/frama-c/kernel/History.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/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/Properties.tsx
DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.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/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/pkg.json
DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js
DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx
...@@ -183,6 +186,7 @@ DISTRIB_FILES += ivette/src/frama-c/states.ts ...@@ -183,6 +186,7 @@ DISTRIB_FILES += ivette/src/frama-c/states.ts
DISTRIB_FILES += ivette/src/frama-c/utils.ts DISTRIB_FILES += ivette/src/frama-c/utils.ts
DISTRIB_FILES += ivette/src/ivette/index.tsx DISTRIB_FILES += ivette/src/ivette/index.tsx
DISTRIB_FILES += ivette/src/ivette/prefs.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/main/index.js
DISTRIB_FILES += ivette/src/renderer/Application.tsx DISTRIB_FILES += ivette/src/renderer/Application.tsx
DISTRIB_FILES += ivette/src/renderer/Controller.tsx DISTRIB_FILES += ivette/src/renderer/Controller.tsx
......
ivette/headers/header_spec.txt
+ 4
− 0
View file @ 8fb7a9d9
...@@ -154,9 +154,12 @@ src/frama-c/kernel/ASTview.tsx: CEA_LGPL ...@@ -154,9 +154,12 @@ src/frama-c/kernel/ASTview.tsx: CEA_LGPL
src/frama-c/kernel/Globals.tsx: CEA_LGPL src/frama-c/kernel/Globals.tsx: CEA_LGPL
src/frama-c/kernel/History.tsx: CEA_LGPL src/frama-c/kernel/History.tsx: CEA_LGPL
src/frama-c/kernel/Locations.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/Properties.tsx: CEA_LGPL
src/frama-c/kernel/SourceCode.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/kernel/style.css: .ignore
src/frama-c/menu.ts: CEA_LGPL
src/frama-c/pkg.json: .ignore src/frama-c/pkg.json: .ignore
src/frama-c/plugins/dive/cytoscape_libs.js: CEA_LGPL src/frama-c/plugins/dive/cytoscape_libs.js: CEA_LGPL
src/frama-c/plugins/dive/index.tsx: CEA_LGPL src/frama-c/plugins/dive/index.tsx: CEA_LGPL
...@@ -183,6 +186,7 @@ src/frama-c/states.ts: CEA_LGPL ...@@ -183,6 +186,7 @@ src/frama-c/states.ts: CEA_LGPL
src/frama-c/utils.ts: CEA_LGPL src/frama-c/utils.ts: CEA_LGPL
src/ivette/index.tsx: CEA_LGPL src/ivette/index.tsx: CEA_LGPL
src/ivette/prefs.tsx: CEA_LGPL src/ivette/prefs.tsx: CEA_LGPL
src/ivette/sandbox.tsx: CEA_LGPL
src/main/index.js: CEA_LGPL src/main/index.js: CEA_LGPL
src/renderer/Application.tsx: CEA_LGPL src/renderer/Application.tsx: CEA_LGPL
src/renderer/Controller.tsx: CEA_LGPL src/renderer/Controller.tsx: CEA_LGPL
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment