Shayan Doust pushed to branch master at Debian Med / marginphase
Commits: 7c00bb24 by Shayan Doust at 2020-06-23T17:19:34+01:00 Introduce patch to include private header directory change - - - - - 2 changed files: - + debian/patches/include_private_header.patch - + debian/patches/series Changes: ===================================== debian/patches/include_private_header.patch ===================================== @@ -0,0 +1,17 @@ +Description: change private header location within include + This private header is missing due to its part within a submodule, however there is no need to expose this private header under /usr/include, so simply include it as part of missing-sources. +Author: Shayan Doust <[email protected]> +Last-Update: 2020-06-23 +--- + +--- marginphase.orig/marginPhase.c ++++ marginphase/marginPhase.c +@@ -14,7 +14,7 @@ + #include "stRPHmm.h" + #include "margin_phase_version.h" + #include "sonLib.h" +-#include "externalTools/sonLib/C/impl/sonLibListPrivate.h" ++#include "debian/missing-sources/sonLibListPrivate.h" + + /* + * Functions used to print debug output. ===================================== debian/patches/series ===================================== @@ -0,0 +1 @@ +include_private_header.patch View it on GitLab: https://salsa.debian.org/med-team/marginphase/-/commit/7c00bb249b4f6ffe364a14240f941385cc4750ef -- View it on GitLab: https://salsa.debian.org/med-team/marginphase/-/commit/7c00bb249b4f6ffe364a14240f941385cc4750ef You're receiving this email because of your account on salsa.debian.org.
_______________________________________________ debian-med-commit mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-med-commit
