summaryrefslogtreecommitdiff
path: root/src/utils/automata
diff options
context:
space:
mode:
authorPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2024-03-14 16:21:55 +0100
committerPaul Cristian Sarbu <paul.cristian.sarbu@huawei.com>2024-03-15 13:12:48 +0100
commitd0f2ba0ab15e63aa3511218a837eb6f057632ace (patch)
tree999aabe895ceee4dc692745b759b6279abb3885c /src/utils/automata
parent208e2af5b78167777f64864c209f0af6ad4d1ef7 (diff)
downloadjustbuild-d0f2ba0ab15e63aa3511218a837eb6f057632ace.tar.gz
Clean up more includes and targets
Some of the more specific issues addressed: - missing log_level target/include - header-only libs wrongly marking deps as private - missing/misplaced gsl includes
Diffstat (limited to 'src/utils/automata')
-rw-r--r--src/utils/automata/TARGETS3
-rw-r--r--src/utils/automata/dfa_minimizer.hpp1
2 files changed, 3 insertions, 1 deletions
diff --git a/src/utils/automata/TARGETS b/src/utils/automata/TARGETS
index 39df4e98..29f43a92 100644
--- a/src/utils/automata/TARGETS
+++ b/src/utils/automata/TARGETS
@@ -4,7 +4,8 @@
, "hdrs": ["dfa_minimizer.hpp"]
, "stage": ["src", "utils", "automata"]
, "deps":
- [ ["@", "json", "", "json"]
+ [ ["@", "gsl", "", "gsl"]
+ , ["@", "json", "", "json"]
, ["src/utils/cpp", "hex_string"]
, ["src/utils/cpp", "hash_combine"]
]
diff --git a/src/utils/automata/dfa_minimizer.hpp b/src/utils/automata/dfa_minimizer.hpp
index ae647b44..93acb83e 100644
--- a/src/utils/automata/dfa_minimizer.hpp
+++ b/src/utils/automata/dfa_minimizer.hpp
@@ -22,6 +22,7 @@
#include <utility>
#include <vector>
+#include "gsl/gsl"
#include "nlohmann/json.hpp"
#include "src/utils/cpp/hash_combine.hpp"
#include "src/utils/cpp/hex_string.hpp"