Snap: update libstdc++ from 7 to 9

coq · Jul 22, 2024 · 07db9bb · 07db9bb
1 parent b9c4075
commit 07db9bb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
@@ -11,7 +11,8 @@ confinement: strict
 parts:
   coq:
     plugin: nil
-    build-packages: [build-essential, curl, m4, unzip, git, libstdc++-7-dev]
+    # Note: to find out which libstdc++ version is required, enter a shell with "multipass shell snapcraft-coq-prover" and run "gcc-version" there.
+    build-packages: [build-essential, curl, m4, unzip, git, libstdc++-9-dev]
     stage-packages: [make, libmpfr6, libgmp10]
     source: .
     source-type: local