diff --git a/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp b/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp
new file mode 100644
index 000000000000..6dd78e799c59
--- /dev/null
+++ b/devel/ikos/files/patch-ar_include_ikos_ar_semantic_data__layout.hpp
@@ -0,0 +1,10 @@
+--- ar/include/ikos/ar/semantic/data_layout.hpp.orig	2022-12-05 06:21:57 UTC
++++ ar/include/ikos/ar/semantic/data_layout.hpp
+@@ -46,6 +46,7 @@
+ #pragma once
+ 
+ #include <memory>
++#include <vector>
+ 
+ #include <ikos/ar/support/assert.hpp>
+ #include <ikos/ar/support/number.hpp>
diff --git a/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp b/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp
new file mode 100644
index 000000000000..88c89a5c1814
--- /dev/null
+++ b/devel/ikos/files/patch-ar_src_pass_add__partitioning__variables.cpp
@@ -0,0 +1,10 @@
+--- ar/src/pass/add_partitioning_variables.cpp.orig	2022-12-05 06:21:57 UTC
++++ ar/src/pass/add_partitioning_variables.cpp
+@@ -45,6 +45,7 @@
+  *
+  ******************************************************************************/
+ 
++#include <array>
+ #include <unordered_set>
+ 
+ #include <ikos/ar/pass/add_partitioning_variables.hpp>