Add extra apt dependecies

Signed-off-by: Kakadu <[email protected]>
PLTools · Feb 28, 2025 · 7cfc3e8 · 7cfc3e8
1 parent 2f1e174
commit 7cfc3e8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Lama.opam b/Lama.opam
@@ -28,6 +28,5 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-depexts: [ [ "gcc-i686-linux-gnu" ] {os-distribution = "ubuntu"} 
+depexts: [ [ "gcc-i686-linux-gnu" "linux-libc-dev:i386" ] {os-distribution = "ubuntu"}
 ]
-
diff --git a/Lama.opam.template b/Lama.opam.template
@@ -1,2 +1,2 @@
-depexts: [ [ "gcc-i686-linux-gnu" ] {os-distribution = "ubuntu"}
+depexts: [ [ "gcc-i686-linux-gnu" "linux-libc-dev:i386" ] {os-distribution = "ubuntu"}
 ]