diff options
author | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2018-11-14 23:31:09 +0100 |
---|---|---|
committer | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2018-11-14 23:31:09 +0100 |
commit | c3fc87745d40b36db94374fc0b72e2c98d117fb4 (patch) | |
tree | 2b44ffa0c8efcdaf032fa9203046b3093df35ade | |
parent | a8ecd56db1f00fba534a86a1a0ed4798e24d6a70 (diff) | |
download | embedlog-c3fc87745d40b36db94374fc0b72e2c98d117fb4.tar.gz embedlog-c3fc87745d40b36db94374fc0b72e2c98d117fb4.tar.bz2 embedlog-c3fc87745d40b36db94374fc0b72e2c98d117fb4.zip |
pkg/deb: add missing install files
no_buildbot
-rwxr-xr-x | pkg/deb/create-pkg.sh | 2 | ||||
-rw-r--r-- | pkg/deb/libembedlog-dev.install | 4 | ||||
-rw-r--r-- | pkg/deb/libembedlog0.install | 1 |
3 files changed, 6 insertions, 1 deletions
diff --git a/pkg/deb/create-pkg.sh b/pkg/deb/create-pkg.sh index f10dcde..62bc8b7 100755 --- a/pkg/deb/create-pkg.sh +++ b/pkg/deb/create-pkg.sh @@ -97,7 +97,7 @@ fi ./testprog || failed=1 -dpkg -r "lib${project}${abi_version}" "$lib{project}-dev" || exit 1 +dpkg -r "lib${project}${abi_version}" "lib${project}-dev" || exit 1 if [ ${failed} -eq 1 ] then diff --git a/pkg/deb/libembedlog-dev.install b/pkg/deb/libembedlog-dev.install new file mode 100644 index 0000000..55cf121 --- /dev/null +++ b/pkg/deb/libembedlog-dev.install @@ -0,0 +1,4 @@ +usr/lib/*/*.so +usr/include/embedlog.h +usr/share/man/man3/* +usr/share/man/man7/* diff --git a/pkg/deb/libembedlog0.install b/pkg/deb/libembedlog0.install new file mode 100644 index 0000000..3de3b10 --- /dev/null +++ b/pkg/deb/libembedlog0.install @@ -0,0 +1 @@ +usr/lib/*/*.so.* |