mirror of
https://gitdl.cn/https://github.com/chakralinux/core.git
synced 2025-02-04 22:37:15 +08:00
30 lines
1.0 KiB
Bash
30 lines
1.0 KiB
Bash
|
# $Id: PKGBUILD 66794 2010-02-01 14:58:30Z giovanni $
|
||
|
|
# Maintainer: Tobias Powalowski <tpowa@archlinux.org>
|
||
|
|
|
||
|
|
pkgname=ocaml
|
||
|
|
pkgver=3.11.2
|
||
|
|
pkgrel=1
|
||
|
|
pkgdesc="A functional language with OO extensions"
|
||
|
|
arch=('i686' 'x86_64')
|
||
|
|
license=('LGPL2' 'custom: QPL-1.0')
|
||
|
|
url="http://caml.inria.fr/"
|
||
|
|
depends=('gdbm')
|
||
|
|
makedepends=('tk' 'ncurses>=5.6-7' 'libx11')
|
||
|
|
optdepends=('ncurses: advanced ncurses features' 'tk: advanced tk features')
|
||
|
|
source=(http://caml.inria.fr/distrib/ocaml-3.11/$pkgname-$pkgver.tar.gz)
|
||
|
|
options=('!makeflags' '!emptydirs')
|
||
|
|
|
||
|
|
build() {
|
||
|
|
cd $srcdir/$pkgname-$pkgver
|
||
|
|
./configure -prefix /usr
|
||
|
|
make world.opt || return 1
|
||
|
|
make PREFIX=$pkgdir/usr MANDIR=$pkgdir/usr/share/man install || return 1
|
||
|
|
|
||
|
|
# Save >10MB with this one, makepkg only strips debug symbols.
|
||
|
|
find ${startdir}/pkg/usr/lib -type f -name '*.so.*' -exec strip --strip-unneeded {} \;
|
||
|
|
|
||
|
|
# install license
|
||
|
|
install -D -m 644 $startdir/src/$pkgname-$pkgver/LICENSE $startdir/pkg/usr/share/licenses/ocaml/LICENSE
|
||
|
|
}
|
||
|
|
md5sums=('9d0611245122ffbc8263735cae1da7fb')
|