From 76f32d9b41b7c6cc4c4d5e0bfeb5af8fbd2b1661 Mon Sep 17 00:00:00 2001
From: James Kay <james@hadean.com>
Date: Wed, 28 Mar 2018 12:43:07 +0100
Subject: [PATCH 1/2] godot: add a dev output containing the gdnative headers

---
 pkgs/development/tools/godot/default.nix | 26 +++++++++++++-----------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/pkgs/development/tools/godot/default.nix b/pkgs/development/tools/godot/default.nix
index 89cc7eb1bfe..88ea499d28c 100644
--- a/pkgs/development/tools/godot/default.nix
+++ b/pkgs/development/tools/godot/default.nix
@@ -34,27 +34,29 @@ in stdenv.mkDerivation rec {
   enableParallelBuilding = true;
 
   buildPhase = ''
-    scons platform=x11 prefix=$out -j $NIX_BUILD_CORES \
+    scons target=release_debug platform=x11 prefix=$out -j $NIX_BUILD_CORES \
       ${lib.concatStringsSep " "
           (lib.mapAttrsToList (k: v: "${k}=${builtins.toJSON v}") options)}
   '';
 
+  outputs = [ "out" "dev" "man" ];
+
   installPhase = ''
-    mkdir -p $out/bin
-    cp bin/godot.x11.tools.* $out/bin/godot
+    mkdir -p "$out/bin"
+    cp bin/godot.* $out/bin/godot
 
-    mkdir -p "$out/share/applications"
+    mkdir "$dev"
+    cp -r modules/gdnative/include $dev
+
+    mkdir -p "$man/share/man/man6"
+    cp misc/dist/linux/godot.6 "$man/share/man/man6/"
+
+    mkdir -p "$out"/share/{applications,icons/hicolor/scalable/apps}
     cp misc/dist/linux/godot.desktop "$out/share/applications/"
-    substituteInPlace "$out/share/applications/godot.desktop" \
-                      --replace "Exec=godot" \
-                      "Exec=$out/bin/godot"
-
-    mkdir -p "$out/share/icons/hicolor/scalable/apps/"
     cp icon.svg "$out/share/icons/hicolor/scalable/apps/godot.svg"
     cp icon.png "$out/share/icons/godot.png"
-
-    mkdir -p "$out/share/man/man6"
-    cp misc/dist/linux/godot.6 "$out/share/man/man6/"
+    substituteInPlace "$out/share/applications/godot.desktop" \
+      --replace "Exec=godot" "Exec=$out/bin/godot"
   '';
 
   meta = {

From a811d1d6cc11820e3f844dc4ace20bfb132898f9 Mon Sep 17 00:00:00 2001
From: James Kay <james@hadean.com>
Date: Wed, 28 Mar 2018 12:43:45 +0100
Subject: [PATCH 2/2] godot_headers: remove in favour of godot.dev

---
 .../libraries/godot_headers/default.nix       | 23 -------------------
 pkgs/top-level/all-packages.nix               |  1 -
 2 files changed, 24 deletions(-)
 delete mode 100644 pkgs/development/libraries/godot_headers/default.nix

diff --git a/pkgs/development/libraries/godot_headers/default.nix b/pkgs/development/libraries/godot_headers/default.nix
deleted file mode 100644
index 940882b1742..00000000000
--- a/pkgs/development/libraries/godot_headers/default.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{ stdenv, fetchFromGitHub }:
-stdenv.mkDerivation rec {
-  name = "godot_headers";
-  version = "2018-02-09";
-  src = fetchFromGitHub {
-    owner = "GodotNativeTools";
-    repo = "godot_headers";
-    rev = "51bca3bf5d917341f3e15076c5a9191f8a5118ae";
-    sha256 = "0z562pqm8y8wldmfiya72cvwwpvcfznpl0wypagw50v0f41ilywh";
-  };
-  buildPhase = "true";
-  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";
-    license = stdenv.lib.licenses.mit;
-    platforms = stdenv.lib.platforms.all;
-    maintainers = [ stdenv.lib.maintainers.twey ];
-  };
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 3a327c8cd5c..2285e70bfa2 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2623,7 +2623,6 @@ with pkgs;
   gocryptfs = callPackage ../tools/filesystems/gocrypfs { };
 
   godot = callPackage ../development/tools/godot {};
-  godot_headers = callPackage ../development/libraries/godot_headers {};
 
   goklp = callPackage ../tools/networking/goklp {};