From 4e473f1c57e0451a44bca6b781be9f07109b44d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Kundr=C3=A1t?= <jan.kundrat@cesnet.cz>
Date: Wed, 1 Feb 2023 23:33:34 +0100
Subject: [PATCH] CI: use system docopt-cpp

Change-Id: Ib246d39f975c00bc6489f683f1f21f34cc808201
Depend-on: https://gerrit.cesnet.cz/c/CzechLight/dependencies/+/6009
---
 ci/pre.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ci/pre.yaml b/ci/pre.yaml
index ebb36142..2746d253 100644
--- 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