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 | b08a6b484aaeedcd9a30bc50d52ffd7921a1cf36 (patch) | |
| tree | cd05fc518fd917fdb4416e92b12ad83325216f33 /media-plugins | |
| parent | Initial import. Bug #14014 (diff) | |
| download | historical-b08a6b484aaeedcd9a30bc50d52ffd7921a1cf36.tar.gz historical-b08a6b484aaeedcd9a30bc50d52ffd7921a1cf36.tar.bz2 historical-b08a6b484aaeedcd9a30bc50d52ffd7921a1cf36.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 |