ci: Include licenses in GPL Linux ARM64 package (cvc5#11060)

ajreynol · Jul 17, 2024 · 5558e34 · 5558e34
1 parent 90eeba9
commit 5558e34
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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/