diff options
| -rw-r--r-- | gnu/packages/game-development.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/game-development.scm b/gnu/packages/game-development.scm index d1642fa59a..9e2ea881bd 100644 --- a/gnu/packages/game-development.scm +++ b/gnu/packages/game-development.scm @@ -3714,7 +3714,8 @@ progresses the level, or you may regenerate tiles as the world changes.") #:configure-flags #~(list "-DBUILD_SHARED_LIBS=ON" "-DUSE_EXTERNAL_GLFW=ON" - "-DCMAKE_C_FLAGS=-lpulse") + (string-append "-DCMAKE_C_FLAGS=-lpulse " + "-Wno-error=incompatible-pointer-types")) #:phases #~(modify-phases %standard-phases (add-before 'configure 'configure-miniaudio |