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] 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 {};