git: 4f2f8d23e7c5 - main - devel/ikos: prepare for upcoming Boost-1.81

The branch main has been updated by fluffy:

URL: https://cgit.FreeBSD.org/ports/commit/?id=4f2f8d23e7c50417b938b8104ffb4162b8df7b6c

commit 4f2f8d23e7c50417b938b8104ffb4162b8df7b6c
Author:     Dima Panov <fluffy@FreeBSD.org>
AuthorDate: 2023-01-12 19:09:33 +0000
Commit:     Dima Panov <fluffy@FreeBSD.org>
CommitDate: 2023-01-12 19:09:33 +0000

    devel/ikos: prepare for upcoming Boost-1.81
    
    With hat:       office
---
 .../files/patch-ar_include_ikos_ar_semantic_data__layout.hpp   | 10 ++++++++++
 .../files/patch-ar_src_pass_add__partitioning__variables.cpp   | 10 ++++++++++
 2 files changed, 20 insertions(+)

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>