From 72c25383d5ffa43588d4ea897208560d58eb7bd9 Mon Sep 17 00:00:00 2001 From: Rene Rivera Date: Fri, 16 Aug 2024 23:25:09 -0500 Subject: [PATCH] Manually fetch functional, as depinst doesn't. --- .drone/drone.bat | 3 ++- .drone/drone.sh | 3 ++- appveyor.yml | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.drone/drone.bat b/.drone/drone.bat index 66aaf78..d5cd407 100644 --- a/.drone/drone.bat +++ b/.drone/drone.bat @@ -12,9 +12,10 @@ if "%DRONE_BRANCH%" == "master" set BOOST_BRANCH=master cd .. git clone -b %BOOST_BRANCH% --depth 1 https://github.com/boostorg/boost.git boost-root cd boost-root -git submodule update --init tools/boostdep +git submodule update --init tools/boostdep libs/functional xcopy /s /e /q %DRONE_BUILD_DIR% libs\%LIBRARY%\ python tools/boostdep/depinst/depinst.py %LIBRARY% +python tools/boostdep/depinst/depinst.py functional cmd /c bootstrap b2 -d0 headers diff --git a/.drone/drone.sh b/.drone/drone.sh index 2f2125d..5f35623 100755 --- a/.drone/drone.sh +++ b/.drone/drone.sh @@ -15,9 +15,10 @@ if [ "$DRONE_BRANCH" = "master" ]; then BOOST_BRANCH=master; fi cd .. git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root cd boost-root -git submodule update --init tools/boostdep +git submodule update --init tools/boostdep libs/functional cp -r $DRONE_BUILD_DIR/* libs/$LIBRARY python tools/boostdep/depinst/depinst.py $LIBRARY +python tools/boostdep/depinst/depinst.py functional ./bootstrap.sh ./b2 -d0 headers diff --git a/appveyor.yml b/appveyor.yml index dce3c64..e2cc74e 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -61,8 +61,9 @@ install: - git clone -b %BOOST_BRANCH% --depth 1 https://github.com/boostorg/boost.git boost-root - cd boost-root - xcopy /s /e /q %APPVEYOR_BUILD_FOLDER% libs\smart_ptr\ - - git submodule update --init tools/boostdep + - git submodule update --init tools/boostdep libs/functional - python tools/boostdep/depinst/depinst.py smart_ptr + - python tools/boostdep/depinst/depinst.py functional - cmd /c bootstrap - b2 -d0 headers