CI: use system docopt-cpp

jktjkt · jktjkt · commit 88db08a6fbb3 · 2023-02-01T23:46:14.000+01:00
Change-Id: Ib246d39f975c00bc6489f683f1f21f34cc808201 Depend-on: https://gerrit.cesnet.cz/c/CzechLight/dependencies/+/6009
diff --git a/ci/pre.yaml b/ci/pre.yaml
@@ -11,3 +11,9 @@
         name: pam-devel
         state: present
       become: true
+
+    - name: install docopt-cpp
+      package:
+        name: docopt-cpp-devel
+        state: present
+      become: true
