diff --git a/pkgs/development/idris-modules/sdl.nix b/pkgs/development/idris-modules/sdl.nix
index 3c886750a1ed..4495e60d6bb6 100644
--- a/pkgs/development/idris-modules/sdl.nix
+++ b/pkgs/development/idris-modules/sdl.nix
@@ -24,5 +24,7 @@ build-idris-package  {
     description = "SDL-idris framework for Idris";
     homepage = https://github.com/edwinb/SDL-idris;
     maintainers = [ lib.maintainers.brainrape ];
+    # Can't find file sdlrun.o
+    broken = true;
   };
 }
diff --git a/pkgs/development/idris-modules/sdl2.nix b/pkgs/development/idris-modules/sdl2.nix
index a9a9a22a15fc..b0306040d730 100644
--- a/pkgs/development/idris-modules/sdl2.nix
+++ b/pkgs/development/idris-modules/sdl2.nix
@@ -25,5 +25,7 @@ build-idris-package  {
     description = "SDL2 binding for Idris";
     homepage = https://github.com/steshaw/idris-sdl2;
     maintainers = [ lib.maintainers.brainrape ];
+    # Can't find file sdl2.o
+    broken = true;
   };
 }