commit 599ee3f24292a76aee1064681dd90950ca927a72
author Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:32:49 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:32:49 2019 -0400
tree 24abdd983979ab05e657c08f960a70edeae51280
parent 78e3549c165842d770ab64a52022dabe05e19b0d

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I5fc9ed6f94887a4b6125e843474623d1a4ccac95

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index beb2693..2a8d230 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -46,9 +46,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