godot_headers: init at 51bca3bf5d917341f3e15076c5a9191f8a5118ae

This commit is contained in:
James Kay 2018-02-14 17:43:33 +00:00
parent ef7a25fcc0
commit 494a4ef3ce
No known key found for this signature in database
GPG key ID: 76BE7F17BF11AD15
2 changed files with 21 additions and 0 deletions

View file

@ -0,0 +1,20 @@
{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
name = "godot_headers";
version = "51bca3bf5d917341f3e15076c5a9191f8a5118ae";
src = fetchFromGitHub {
owner = "GodotNativeTools";
repo = "godot_headers";
rev = version;
sha256 = "0z562pqm8y8wldmfiya72cvwwpvcfznpl0wypagw50v0f41ilywh";
};
buildPhase = "true";
installPhase = "cp -r . $out";
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.linux;
maintainers = [ stdenv.lib.maintainers.twey ];
};
}

View file

@ -2560,6 +2560,7 @@ with pkgs;
gocryptfs = callPackage ../tools/filesystems/gocrypfs { };
godot = callPackage ../development/tools/godot {};
godot_headers = callPackage ../development/libraries/godot_headers {};
goklp = callPackage ../tools/networking/goklp {};