additional dependency needed by ocaml backend (runtimeverification#2111)

Co-authored-by: rv-jenkins <[email protected]>
h0nzZik · Aug 5, 2021 · 6147a8b · 6147a8b
1 parent 651898a
commit 6147a8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -293,7 +293,7 @@ pipeline {
                     unstash 'arch'
                     sh '''
                       pacman -Syyu --noconfirm
-                      pacman -S --noconfirm opam
+                      pacman -S --noconfirm opam pkgconf
                       pacman -U --noconfirm kframework-git-${VERSION}-1-x86_64.pkg.tar.zst
                       src/main/scripts/test-in-container
                     '''