godot_headers: clean up output path

This commit is contained in:
James Kay 2018-02-16 11:41:13 +00:00
parent 494a4ef3ce
commit 62ab617052
No known key found for this signature in database
GPG Key ID: 76BE7F17BF11AD15

View File

@ -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";