CI: use system docopt-cpp

Change-Id: Ib246d39f975c00bc6489f683f1f21f34cc808201 Depend-on: https://gerrit.cesnet.cz/c/CzechLight/dependencies/+/6009
CESNET · Feb 1, 2023 · 4e473f1 · 4e473f1
1 parent 489d5b2
commit 4e473f1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/ci/pre.yaml b/ci/pre.yaml
@@ -17,3 +17,9 @@
         name: pcre2-devel
         state: present
       become: true
+
+    - name: install docopt-cpp
+      package:
+        name: docopt-cpp-devel
+        state: present
+      become: true