Fix Apron license for unpinned package for SV-COMP

goblint · Nov 1, 2023 · 6bad00c · 6bad00c
1 parent ce917e6
commit 6bad00c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sv-comp/archive.sh b/sv-comp/archive.sh
@@ -18,7 +18,7 @@ cp _opam/share/apron/lib/libapron.so lib/
 cp _opam/share/apron/lib/liboctD.so lib/
 cp _opam/share/apron/lib/libboxD.so lib/
 cp _opam/share/apron/lib/libpolkaMPQ.so lib/
-cp _opam/.opam-switch/sources/apron/COPYING lib/LICENSE.APRON
+wget -O lib/LICENSE.APRON https://raw.githubusercontent.com/antoinemine/apron/master/COPYING
 
 # done outside to ensure archive contains goblint/ directory
 cd ..