Add support for upcoming Boost 1.88.0

Boost.Process will make v2 the default in Boost 1.88.0[^1] which breaks
compilation of prior code. For a simple fix, this commit updates to use
the newer paths for v1 until the code is updated to use v2 API.

[^1]: boostorg/process@2ccd97c

Author: cho-m

Diff for: libsolidity/formal/ModelChecker.cpp

@@ -18,7 +18,13 @@
 
 #include <libsolidity/formal/ModelChecker.h>
 
+#include <boost/version.hpp>
+#if (BOOST_VERSION < 108800)
 #include <boost/process.hpp>
+#else
+#define BOOST_PROCESS_VERSION 1
+#include <boost/process/v1/search_path.hpp>
+#endif
 
 #include <range/v3/algorithm/any_of.hpp>
 #include <range/v3/view.hpp>

Diff for: libsolidity/interface/SMTSolverCommand.cpp

@@ -20,7 +20,16 @@
 #include <liblangutil/Exceptions.h>
 
 #include <boost/algorithm/string/join.hpp>
+#include <boost/version.hpp>
+#if (BOOST_VERSION < 108800)
 #include <boost/process.hpp>
+#else
+#define BOOST_PROCESS_VERSION 1
+#include <boost/process/v1/child.hpp>
+#include <boost/process/v1/io.hpp>
+#include <boost/process/v1/pipe.hpp>
+#include <boost/process/v1/search_path.hpp>
+#endif
 
 namespace solidity::frontend
 {

Diff for: test/libyul/ControlFlowGraphTest.cpp

@@ -29,7 +29,15 @@
 #include <libsolutil/Visitor.h>
 
 #ifdef ISOLTEST
+#include <boost/version.hpp>
+#if (BOOST_VERSION < 108800)
 #include <boost/process.hpp>
+#else
+#define BOOST_PROCESS_VERSION 1
+#include <boost/process/v1/child.hpp>
+#include <boost/process/v1/io.hpp>
+#include <boost/process/v1/pipe.hpp>
+#endif
 #endif
 
 using namespace solidity;

Diff for: test/libyul/SSAControlFlowGraphTest.cpp

@@ -28,7 +28,15 @@
 #include <libyul/YulStack.h>
 
 #ifdef ISOLTEST
+#include <boost/version.hpp>
+#if (BOOST_VERSION < 108800)
 #include <boost/process.hpp>
+#else
+#define BOOST_PROCESS_VERSION 1
+#include <boost/process/v1/child.hpp>
+#include <boost/process/v1/io.hpp>
+#include <boost/process/v1/pipe.hpp>
+#endif
 #endif
 
 using namespace solidity;

Diff for: test/libyul/StackLayoutGeneratorTest.cpp

@@ -33,7 +33,15 @@
 #include <range/v3/view/reverse.hpp>
 
 #ifdef ISOLTEST
+#include <boost/version.hpp>
+#if (BOOST_VERSION < 108800)
 #include <boost/process.hpp>
+#else
+#define BOOST_PROCESS_VERSION 1
+#include <boost/process/v1/child.hpp>
+#include <boost/process/v1/io.hpp>
+#include <boost/process/v1/pipe.hpp>
+#endif
 #endif
 
 using namespace solidity;