diff options
Diffstat (limited to 'extra/ocaml/PKGBUILD')
| -rw-r--r-- | extra/ocaml/PKGBUILD | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD index a11606412..3606d7ba9 100644 --- a/extra/ocaml/PKGBUILD +++ b/extra/ocaml/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 138196 2011-09-18 13:56:45Z tpowa $ +# $Id: PKGBUILD 143814 2011-11-29 13:33:35Z stephane $ # Maintainer: Tobias Powalowski <tpowa@archlinux.org> pkgbase='ocaml' pkgname=('ocaml' 'ocaml-compiler-libs') pkgver=3.12.1 -pkgrel=2 +pkgrel=3 pkgdesc="A functional language with OO extensions" arch=('i686' 'x86_64' 'mips64el') license=('LGPL2' 'custom: QPL-1.0') @@ -33,7 +33,7 @@ package_ocaml() { make PREFIX="${pkgdir}/usr" MANDIR="${pkgdir}/usr/share/man" install # Save >10MB with this one, makepkg only strips debug symbols. - #find ${startdir}/pkg/usr/lib -type f -name '*.so.*' -exec strip --strip-unneeded {} \; + #find "${pkgdir}/usr/lib" -type f -name '*.so.*' -exec strip --strip-unneeded {} \; # install license install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" @@ -56,4 +56,8 @@ optdepends=() cp utils/*.{cmi,cmo,cmx,ml,mli,o} "$compiler_libs"/utils # duplicated by installation rm -f "$compiler_libs"/typing/outcometree.{cmi,mli} + + # install license + install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" + install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/" } |