# Template file for 'gmp-devel'.
#
short_desc="${sourcepkg} development files"
long_desc="${long_desc}

 This package contains files for development: headers, static libs, etc."

revision=2
Add_dependency run gmp

do_install()
{
	mkdir -p ${DESTDIR}/usr/lib
	mv ${SRCPKGDESTDIR}/usr/include ${DESTDIR}/usr
	mv ${SRCPKGDESTDIR}/usr/lib/libgmp.*a ${DESTDIR}/usr/lib
}