From c943e1967cfc0230ee0219ad3c6d490a6261e03e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Mon, 17 Feb 2020 16:05:56 +0100 Subject: [PATCH] [server] state api & headers --- headers/header_spec.txt | 2 ++ src/plugins/server/Makefile.in | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 1af38362830..d50c394007b 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -1105,6 +1105,8 @@ src/plugins/server/server_parameters.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/server/server_parameters.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/server/server_batch.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/server/server_zmq.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/server/states.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/server/states.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/server/syntax.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/server/syntax.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/scope/Scope.mli: CEA_LGPL_OR_PROPRIETARY diff --git a/src/plugins/server/Makefile.in b/src/plugins/server/Makefile.in index 8ea6491e503..69919ab5d30 100644 --- a/src/plugins/server/Makefile.in +++ b/src/plugins/server/Makefile.in @@ -77,7 +77,7 @@ include $(FRAMAC_SHARE)/Makefile.dynamic ############## SERVER_API= \ - doc.mli syntax.mli data.mli request.mli + doc.mli syntax.mli data.mli request.mli states.mli define Capitalize $(shell printf "%s%s" \ -- GitLab