commit 0dc3cb1788861bfa0e7aca775457d1e2ea953ce2
author Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:38:06 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Apr 20 16:38:06 2019 -0400
tree 10aabfbc8a230adb9ee92b544234af9fe8e983b8
parent 9222f3665b40dd5a1c970bc979cae6c134b878c8

ci: adapt to new repo layout for CentOS boost RPMs

Change-Id: I8f8c804d0499fecaac744a08111709d2fd49e7b7

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 747bf93..3d73928 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