install libstdc++-7

coq · Nov 27, 2022 · 7d751ed · 7d751ed
1 parent f1e526d
commit 7d751ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
@@ -11,8 +11,8 @@ confinement: strict
 parts:
   coq:
     plugin: nil
-    build-packages: [build-essential, curl, m4, unzip, git]
-    stage-packages: [make, libmpfr6, libgmp10]
+    build-packages: [build-essential, curl, m4, unzip, git, libstdc++-7-dev]
+    stage-packages: [make, libmpfr6, libgmp10, libstdc++-7]
     source: .
     source-type: local
     override-build: |