diff options
| author | root <root@rshg054.dnsready.net> | 2011-11-30 23:15:09 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2011-11-30 23:15:09 +0000 |
| commit | fd115d7057eb8243df6edfaf1ed440d6f3e70692 (patch) | |
| tree | 0a32bcfa47c11eb3e1127b1de196fb6385ed8723 /extra/ocaml | |
| parent | 946f0c9fe48dfb648a8a0be065e92f237ce210fd (diff) | |
Wed Nov 30 23:15:09 UTC 2011
Diffstat (limited to 'extra/ocaml')
| -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 97decbd24..7ba798ba7 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') license=('LGPL2' 'custom: QPL-1.0') @@ -27,7 +27,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}" @@ -50,4 +50,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}/" } |