Skip to content
Snippets Groups Projects
Commit 8b3df3bc authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[ivette] register new files

parent 96944582
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/Makefile.distrib
+ 9
− 0
View file @ 8b3df3bc
...@@ -88,6 +88,7 @@ DISTRIB_FILES += ivette/src/dome/misc/register.js ...@@ -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/system.ts
DISTRIB_FILES += ivette/src/dome/misc/utils.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/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/gallery.json
DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx
DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.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 ...@@ -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/eva/values/index.ts
DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/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/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/index.tsx
DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx
DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx
...@@ -168,6 +172,10 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json ...@@ -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/react-cytoscapejs.d.ts
DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json 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/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/cells.ts
DISTRIB_FILES += ivette/src/frama-c/plugins/eva/diffed.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/diffed.tsx
DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.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 ...@@ -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/sized.tsx
DISTRIB_FILES += ivette/src/frama-c/plugins/eva/stacks.ts 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/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/valueinfos.tsx
DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx
DISTRIB_FILES += ivette/src/frama-c/server.ts DISTRIB_FILES += ivette/src/frama-c/server.ts
......
ivette/headers/header_spec.txt
+ 9
− 0
View file @ 8b3df3bc
...@@ -88,6 +88,7 @@ src/dome/misc/register.js: CEA_LGPL ...@@ -88,6 +88,7 @@ src/dome/misc/register.js: CEA_LGPL
src/dome/misc/system.ts: CEA_LGPL src/dome/misc/system.ts: CEA_LGPL
src/dome/misc/utils.ts: CEA_LGPL src/dome/misc/utils.ts: CEA_LGPL
src/dome/renderer/controls/buttons.tsx: 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/gallery.json: .ignore
src/dome/renderer/controls/icons.tsx: CEA_LGPL src/dome/renderer/controls/icons.tsx: CEA_LGPL
src/dome/renderer/controls/labels.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 ...@@ -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/eva/values/index.ts: CEA_LGPL
src/frama-c/api/generated/plugins/studia/studia/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/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/index.tsx: CEA_LGPL
src/frama-c/kernel/ASTinfo.tsx: CEA_LGPL src/frama-c/kernel/ASTinfo.tsx: CEA_LGPL
src/frama-c/kernel/ASTview.tsx: CEA_LGPL src/frama-c/kernel/ASTview.tsx: CEA_LGPL
...@@ -168,6 +172,10 @@ src/frama-c/plugins/dive/pkg.json: .ignore ...@@ -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/react-cytoscapejs.d.ts: CEA_LGPL
src/frama-c/plugins/dive/style.json: .ignore src/frama-c/plugins/dive/style.json: .ignore
src/frama-c/plugins/dive/tippy.css: .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/cells.ts: CEA_LGPL
src/frama-c/plugins/eva/diffed.tsx: CEA_LGPL src/frama-c/plugins/eva/diffed.tsx: CEA_LGPL
src/frama-c/plugins/eva/index.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 ...@@ -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/sized.tsx: CEA_LGPL
src/frama-c/plugins/eva/stacks.ts: CEA_LGPL src/frama-c/plugins/eva/stacks.ts: CEA_LGPL
src/frama-c/plugins/eva/style.css: .ignore 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/valueinfos.tsx: CEA_LGPL
src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL
src/frama-c/server.ts: CEA_LGPL src/frama-c/server.ts: 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