fix nix flake check

nix-ocaml · Jan 19, 2025 · 6ad8b8e · 6ad8b8e
1 parent 36aa34e
commit 6ad8b8e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/ci/filter.nix b/ci/filter.nix
@@ -180,10 +180,14 @@ let
     "owl"
     "owl-base"
   ];
+
+  aarch64LinuxIgnores = [
+    "elina"
+  ];
 in
 
 rec {
-  inherit ocaml5Ignores darwinIgnores;
+  inherit ocaml5Ignores darwinIgnores aarch64LinuxIgnores;
   ocamlCandidates =
     { pkgs
     , ocamlVersion

diff --git a/ci/hydra.nix b/ci/hydra.nix
@@ -3,14 +3,19 @@ let
   inherit (pkgs) lib stdenv;
   filter = pkgs.callPackage ./filter.nix { };
   isDarwin = system == "aarch64-darwin" || system == "x86_64-darwin";
-  extraIgnores = if isDarwin then filter.darwinIgnores else [ ];
+  extraIgnores =
+    if isDarwin
+    then filter.darwinIgnores
+    else if system == "aarch64-linux" then filter.aarch64LinuxIgnores
+    else [ ];
 in
 
 with filter;
 {
   build_4_14 = ocamlCandidates {
     inherit pkgs;
     ocamlVersion = "4_14";
+    extraIgnores = extraIgnores;
   };
   build_5_1 = ocamlCandidates {
     inherit pkgs;