diff options
| author |   J Robert Ray <jrray@gentoo.org> | 2003-01-30 06:06:04 +0000 |
|---|---|---|
| committer | J Robert Ray <jrray@gentoo.org> | 2003-01-30 06:06:04 +0000 |
| commit | 7cc3f28e63f8ecab3d3a1e618b4cbaab62802d88 (patch) | |
| tree | 39c6e4ad75a01be969f577998d7acf7fb572343d /media-plugins | |
| parent | Initial import. Bug #14014 (diff) | |
| download | gentoo-2-7cc3f28e63f8ecab3d3a1e618b4cbaab62802d88.tar.gz gentoo-2-7cc3f28e63f8ecab3d3a1e618b4cbaab62802d88.tar.bz2 gentoo-2-7cc3f28e63f8ecab3d3a1e618b4cbaab62802d88.zip | |
Also install header files.
Diffstat (limited to 'media-plugins')
| -rw-r--r-- | media-plugins/live/live-2003.01.28.ebuild | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/media-plugins/live/live-2003.01.28.ebuild b/media-plugins/live/live-2003.01.28.ebuild index dedb0a7829fb..e9d769d8f99a 100644 --- a/media-plugins/live/live-2003.01.28.ebuild +++ b/media-plugins/live/live-2003.01.28.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2002 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/media-plugins/live/live-2003.01.28.ebuild,v 1.1 2003/01/30 05:41:43 jrray Exp $ +# $Header: /var/cvsroot/gentoo-x86/media-plugins/live/live-2003.01.28.ebuild,v 1.2 2003/01/30 06:06:04 jrray Exp $ DESCRIPTION="Source-code libraries for standards-based RTP/RTCP/RTSP multimedia streaming, suitable for embedded and/or low-cost streaming applications" @@ -38,8 +38,12 @@ src_install() { do local dir dir=$(basename $(dirname ${lib})) - dodir "${DESTTREE}/lib/live/${dir}" - install ${LIBOPTIONS} "${lib}" "${D}${DESTTREE}/lib/live/${dir}" + + insinto "/usr/lib/live/${dir}" + doins "${lib}" + + insinto "/usr/lib/live/${dir}/include" + doins ${S}/${dir}/include/*.hh done # find and install test programs |