devel/ikos: prepare for upcoming Boost-1.81

With hat: office
freebsd · Jan 12, 2023 · 4f2f8d2 · 4f2f8d2
1 parent 606c5fd
commit 4f2f8d2
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
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
@@ -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
@@ -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>