Merge pull request #58320 from Infinisil/fix-idris-glfw

idrisPackages.glfw: Fix runtime
2019-04-28 16:53:32 +02:00
parent 3857a8bb25 321ec862de
commit 93143b02d5
1 changed files with 6 additions and 0 deletions
--- a/pkgs/development/idris-modules/glfw.nix
+++ b/pkgs/development/idris-modules/glfw.nix
@@ -10,8 +10,14 @@ build-idris-package  {

  idrisDeps = [ effects ];

+  nativeBuildInputs = [ pkgs.pkgconfig ];
  extraBuildInputs = [ pkgs.glfw ];

+  postPatch = ''
+    substituteInPlace src/MakefileGlfw \
+      --replace glfw3 "glfw3 gl"
+  '';
+
  src = fetchFromGitHub {
    owner = "eckart";
    repo = "glfw-idris";