2013-06-20 18:07:01 +08:00
|
|
|
# maintainer: Neophytos Kolokotronis <tetris4@gmail.com>
|
|
|
|
# contributions from Arch: https://www.archlinux.org/packages/extra/x86_64/ocaml/
|
2010-03-14 23:48:48 +08:00
|
|
|
|
|
|
|
pkgname=ocaml
|
2013-06-20 18:07:01 +08:00
|
|
|
pkgver=4.00.1
|
|
|
|
_pkgver=4.00
|
2010-03-14 23:48:48 +08:00
|
|
|
pkgrel=1
|
|
|
|
pkgdesc="A functional language with OO extensions"
|
2013-06-20 18:07:01 +08:00
|
|
|
arch=('x86_64')
|
2010-03-14 23:48:48 +08:00
|
|
|
license=('LGPL2' 'custom: QPL-1.0')
|
|
|
|
url="http://caml.inria.fr/"
|
|
|
|
depends=('gdbm')
|
2013-06-20 18:07:01 +08:00
|
|
|
makedepends=('tk' 'ncurses' 'libx11')
|
2010-03-14 23:48:48 +08:00
|
|
|
optdepends=('ncurses: advanced ncurses features' 'tk: advanced tk features')
|
2013-06-20 18:07:01 +08:00
|
|
|
source=("http://caml.inria.fr/distrib/ocaml-${_pkgver}/$pkgname-$pkgver.tar.gz"
|
|
|
|
'tk8.6-build.patch')
|
2010-03-14 23:48:48 +08:00
|
|
|
options=('!makeflags' '!emptydirs')
|
2013-06-20 18:07:01 +08:00
|
|
|
md5sums=('91124a8eb12a57f1e56c02fe3db0f9e7'
|
|
|
|
'46185b558c93471b19fd0c6753f90377')
|
|
|
|
|
2010-03-14 23:48:48 +08:00
|
|
|
|
|
|
|
build() {
|
|
|
|
cd $srcdir/$pkgname-$pkgver
|
2013-06-20 18:07:01 +08:00
|
|
|
# fix https://bugs.archlinux.org/task/33302
|
|
|
|
patch -Np2 -i ../tk8.6-build.patch
|
|
|
|
|
2010-03-14 23:48:48 +08:00
|
|
|
./configure -prefix /usr
|
2011-11-28 11:03:05 +08:00
|
|
|
make world.opt
|
|
|
|
}
|
|
|
|
|
2013-06-20 18:07:01 +08:00
|
|
|
package() {
|
2011-11-28 11:03:05 +08:00
|
|
|
cd ${srcdir}/${pkgbase}-${pkgver}
|
|
|
|
make PREFIX=$pkgdir/usr MANDIR=$pkgdir/usr/share/man install
|
2010-03-14 23:48:48 +08:00
|
|
|
|
|
|
|
# Save >10MB with this one, makepkg only strips debug symbols.
|
2011-05-19 11:49:43 +08:00
|
|
|
#find ${startdir}/pkg/usr/lib -type f -name '*.so.*' -exec strip --strip-unneeded {} \;
|
2010-03-14 23:48:48 +08:00
|
|
|
|
2011-05-19 11:49:43 +08:00
|
|
|
# install license
|
|
|
|
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
|
|
|
|
install -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/"
|
2010-03-14 23:48:48 +08:00
|
|
|
}
|