From a7af553de82859fb0843d69bf424ded27562c554 Mon Sep 17 00:00:00 2001
From: Ciprian Badescu <ciprian.badescu@puppet.com>
Date: Fri, 31 Jan 2020 11:25:24 +0200
Subject: [PATCH] (maint) force posix boost random provider

---
 configs/components/leatherman.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configs/components/leatherman.rb b/configs/components/leatherman.rb
index c39246ce18..b516fc53d4 100644
--- a/configs/components/leatherman.rb
+++ b/configs/components/leatherman.rb
@@ -46,6 +46,7 @@
     ruby = "#{settings[:host_ruby]} -r#{settings[:datadir]}/doc/rbconfig-#{settings[:ruby_version]}-orig.rb"
     toolchain = "-DCMAKE_TOOLCHAIN_FILE=/opt/pl-build-tools/#{settings[:platform_triple]}/pl-build-toolchain.cmake"
     cmake = "/opt/pl-build-tools/bin/cmake"
+    special_flags = "-DCMAKE_CXX_FLAGS='-DBOOST_UUID_RANDOM_PROVIDER_FORCE_POSIX'"
   elsif platform.is_solaris?
     if platform.architecture == 'sparc'
       ruby = "#{settings[:host_ruby]} -r#{settings[:datadir]}/doc/rbconfig-#{settings[:ruby_version]}-orig.rb"