archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-01-17 23:34:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

extra/ocaml to 4.02.3-1

Browse source
This commit is contained in:
David Beauchamp 2015-08-11 19:47:05 -04:00
parent d14d312129
commit 54c2c07a09
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
extra/ocaml/PKGBUILD
View file

@ -6,7 +6,7 @@
pkgbase='ocaml' pkgbase='ocaml'
pkgname=('ocaml' 'ocaml-compiler-libs') pkgname=('ocaml' 'ocaml-compiler-libs')
pkgver=4.02.1 pkgver=4.02.3
pkgrel=1 pkgrel=1
pkgdesc="A functional language with OO extensions" pkgdesc="A functional language with OO extensions"
arch=('i686' 'x86_64') arch=('i686' 'x86_64')
@ -17,6 +17,8 @@ makedepends=('tk>=8.6.0' 'ncurses>=5.6-7' 'libx11')
optdepends=('ncurses: advanced ncurses features' 'tk: advanced tk features') optdepends=('ncurses: advanced ncurses features' 'tk: advanced tk features')
source=(http://caml.inria.fr/distrib/ocaml-4.02/${pkgname}-${pkgver}.tar.gz source=(http://caml.inria.fr/distrib/ocaml-4.02/${pkgname}-${pkgver}.tar.gz
arm.patch) arm.patch)
md5sums=('ef1a324608c97031cbd92a442d685ab7'
'bf67fe35a844f0d1a13a489f4414fd6d')
options=('!makeflags' '!emptydirs' 'staticlibs') options=('!makeflags' '!emptydirs' 'staticlibs')
prepare() { prepare() {
@ -33,7 +35,7 @@ build() {
package_ocaml() { package_ocaml() {
cd "${srcdir}/${pkgbase}-${pkgver}" cd "${srcdir}/${pkgbase}-${pkgver}"
make PREFIX="${pkgdir}/usr" MANDIR="${pkgdir}/usr/share/man" install make PREFIX="${pkgdir}/usr" MANDIR="${pkgdir}/usr/share/man" install
# Save >10MB with this one, makepkg only strips debug symbols. # Save >10MB with this one, makepkg only strips debug symbols.
#find "${pkgdir}/usr/lib" -type f -name '*.so.*' -exec strip --strip-unneeded {} \; #find "${pkgdir}/usr/lib" -type f -name '*.so.*' -exec strip --strip-unneeded {} \;
@ -63,5 +65,3 @@ optdepends=()
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/" install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/"
} }
md5sums=('3c35318eefd201f96797c093c920b343'
'bf67fe35a844f0d1a13a489f4414fd6d')