diff options
| author | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-12-01 11:08:57 -0300 |
|---|---|---|
| committer | Nicolas Reynolds <fauno@kiwwwi.com.ar> | 2011-12-01 11:08:57 -0300 |
| commit | 1200fd46a32625f2ac4b035653cb49c22cce6426 (patch) | |
| tree | 0723ee124b40e6e95200ca002f9ae81361ab7919 /extra/ocaml/PKGBUILD | |
| parent | 0d0d9e0930114504c15aa8174e2c7d1d2b7a6744 (diff) | |
| parent | fd115d7057eb8243df6edfaf1ed440d6f3e70692 (diff) | |
Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64el
Conflicts:
community/iat/PKGBUILD
community/libnsbmp/PKGBUILD
community/libnsgif/PKGBUILD
community/libopenraw/PKGBUILD
community/netsurf/PKGBUILD
core/bison/PKGBUILD
core/perl/PKGBUILD
extra/avahi/PKGBUILD
extra/mutt/PKGBUILD
extra/php/PKGBUILD
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}/" } |