From 62ab6170523962c2a2b0bb743b5f02715fdeb680 Mon Sep 17 00:00:00 2001
From: James Kay <james@hadean.com>
Date: Fri, 16 Feb 2018 11:41:13 +0000
Subject: [PATCH] godot_headers: clean up output path

---
 pkgs/development/libraries/godot_headers/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/godot_headers/default.nix b/pkgs/development/libraries/godot_headers/default.nix
index 07f901bf9ac5..aa29d2788fef 100644
--- a/pkgs/development/libraries/godot_headers/default.nix
+++ b/pkgs/development/libraries/godot_headers/default.nix
@@ -9,7 +9,10 @@ stdenv.mkDerivation rec {
     sha256 = "0z562pqm8y8wldmfiya72cvwwpvcfznpl0wypagw50v0f41ilywh";
   };
   buildPhase = "true";
-  installPhase = "cp -r . $out";
+  installPhase = ''
+    mkdir $out
+    cp -r . $out/include
+  '';
   meta = {
     homepage = "https://github.com/GodotNativeTools/godot_headers/";
     description = "Headers for the Godot API supplied by the GDNative module";