1 # Copyright 1999-2008 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
7 DESCRIPTION
="Headers for the Glk API"
8 HOMEPAGE
="http://www.eblong.com/zarf/glk/"
9 SRC_URI
="" # no versioned download as far as I know, so in ${FILESDIR}
13 KEYWORDS
="~amd64 ~x86"
16 DEPEND
="!=dev-games/glkloader-0.3.2"
21 cd "${S}" || die
"cd failed"
22 cp "${FILESDIR}"/${PV}/*.h . || die
"cp failed"
24 epatch
"${FILESDIR}"/glk-headers-0.7
.0-64bit.
patch
25 epatch
"${FILESDIR}"/glk-headers-0.7
.0-gtkglk-extensions.
patch
26 epatch
"${FILESDIR}"/glk-headers-0.7
.0-garglk-extensions-20081225.
patch
30 insinto
/usr
/include
/glk
31 doins
*.h || die
"doins failed"