Add skeleton for kconfig2sat tool

[linux-conf-perf.git] / kconfig2sat / lcp_utils.h

diff --git a/kconfig2sat/lcp_utils.h b/kconfig2sat/lcp_utils.h
new file mode 100644 (file)
index 0000000..3ebd7ab
--- /dev/null
+++ b/kconfig2sat/lcp_utils.h
@@ -0,0 +1,15 @@
+#ifndef LCP_UTILS_H
+#define LCP_UTILS_H
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+void conf_parse_path(const char *name);
+void set_missing_env(const char *conf_mk);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif