Merge pull request #1655 from tweag/philwo-patch-1

Fix "missing libgmp.so" error
tweag · Dec 8, 2021 · d1d9d7e · d1d9d7e
2 parents 7ef5b95 + 8a26fee
commit d1d9d7e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.bazelci/presubmit.yml b/.bazelci/presubmit.yml
@@ -4,6 +4,8 @@ tasks:
     environment:
       # haskell base uses the environment locale to decode sockets
       LANG: "C.UTF-8"
+    shell_commands:
+      - "sudo apt -y update && sudo apt -y install libgmp-dev"
     build_flags:
       - "--build_tag_filters=-requires_nix,-requires_lz4,-requires_shellcheck,-requires_threaded_rts,-dont_test_with_bindist,-dont_test_on_bazelci"
     build_targets: