From 5558e34f15cb6bfbb44d402261a9809daf52c73f Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Wed, 17 Jul 2024 18:26:45 +0200
Subject: [PATCH] ci: Include licenses in GPL Linux ARM64 package (#11060)

---
 contrib/arm64-gpl.Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/contrib/arm64-gpl.Dockerfile b/contrib/arm64-gpl.Dockerfile
index 7b7abf0114a..faaf856d480 100644
--- a/contrib/arm64-gpl.Dockerfile
+++ b/contrib/arm64-gpl.Dockerfile
@@ -25,3 +25,8 @@ WORKDIR /cvc5/build
 
 RUN make -j`nproc`
 RUN make install
+
+WORKDIR /cvc5
+
+RUN cp COPYING ./install/ && \
+    cp -r licenses ./install/