commit 630b0087b4bf478512e6328bebb7a9064f64a0c2
author Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:36:55 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:36:55 2019 -0400
tree 2d3634930a0b2d0fe102d4606d1de403b61649b3
parent 786a7f2a38e2c5b23592e1a4f5759e92d68592f5

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I3e9d4279c66676c52630907a8190ca13d8a5a6ae

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 31ee137..5b30418 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -41,9 +41,8 @@
                         devtoolset-7-liblsan-devel
     sudo yum -y groupinstall 'Development Tools'
 
-    svn checkout https://github.com/cmscaltech/sandie-ndn/trunk/packaging/RPMS/x86_64
-    sudo rpm -U --force x86_64/boost-license*
-    sudo rpm -U --force x86_64/boost-doc-html*
-    sudo rpm -U --force x86_64/libboost*
-    sudo rpm -U --force x86_64/boost-devel*
+    svn checkout https://github.com/cmscaltech/sandie-ndn/trunk/packaging/RPMS/x86_64/boost1_58_0
+    pushd boost1_58_0 >/dev/null
+    sudo rpm -Uv --replacepkgs --replacefiles boost-devel* boost-license* libboost_*
+    popd >/dev/null
 fi