devel/ikos: prepare for upcoming Boost-1.81

With hat: office
2023-01-12 22:09:33 +03:00 · 2023-01-12 22:09:33 +03:00 · 4f2f8d23e7
commit 4f2f8d23e7
parent 606c5fdfde
2 changed files with 20 additions and 0 deletions
--- 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>
--- a/devel/ikos/files/patch-ar_src_pass_addpartitioningvariables.cpp
+++ b/devel/ikos/files/patch-ar_src_pass_addpartitioningvariables.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>