Revert "remove the picotls header files"

This reverts commit e86c37422b.
This commit is contained in:
Christian Ulrich 2020-10-29 17:51:02 +01:00
parent 63e81bf7d9
commit b76005ad7d
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
2 changed files with 4 additions and 4 deletions

View File

@ -5,7 +5,6 @@
, libextractor
, libgcrypt
, libhandy
, libnotify
, gnunet
, gtk3
, pkgconfig
@ -19,8 +18,8 @@ stdenv.mkDerivation rec {
src = fetchFromGitLab {
owner = "TheJackiMonster";
repo = "cadet-gtk";
rev = "14a5a86e06d66b75b1e1e12f332cba2d68644493";
sha256 = "0ai0sxghkj4zln0j74hsc7gmk9cfkmw8iqz29vckf4636f8bh3mn";
rev = "v${version}";
sha256 = "09a3ga5gfvrdq0z4325p7ndb78mg3lkc021c8bhkf6dxd76qm7r5";
};
nativeBuildInputs = [
@ -34,7 +33,6 @@ stdenv.mkDerivation rec {
libextractor
libgcrypt
libhandy
libnotify
gnunet
gtk3
];

View File

@ -59,6 +59,8 @@ stdenv.mkDerivation rec {
install -Dt $out/lib *.a
install -Dt $dev/include ../include/quicly.h
install -Dt $dev/include/quicly ../include/quicly/*.h
install -Dt $dev/include ${picotls}/include/picotls.h
install -Dt $dev/include/picotls ${picotls}/include/picotls/*.h
runHook postInstall
'';