2012-09-30 07:11:16 +02:00
|
|
|
# Template file for 'ocaml'
|
|
|
|
pkgname=ocaml
|
|
|
|
_majorver=4.00
|
|
|
|
version=${_majorver}.0
|
2014-06-08 12:15:44 +02:00
|
|
|
revision=5
|
2012-09-30 07:11:16 +02:00
|
|
|
makedepends="gdbm-devel ncurses-devel libX11-devel"
|
|
|
|
short_desc="The main implementation of the Caml language"
|
2014-06-08 12:15:44 +02:00
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2012-09-30 07:11:16 +02:00
|
|
|
homepage="http://caml.inria.fr"
|
|
|
|
license="QPL-1,LGPL-2"
|
|
|
|
distfiles="${homepage}/pub/distrib/${pkgname}-${_majorver}/${pkgname}-${version}.tar.bz2"
|
|
|
|
checksum=ec886d7bc587ce472fcbdf294feb4b1fa2d8e7ef78ab6a4e66551699435d5cd7
|
|
|
|
|
2013-04-14 05:01:48 +02:00
|
|
|
disable_parallel_build=yes
|
|
|
|
|
|
|
|
do_configure() {
|
|
|
|
./configure -prefix /usr -mandir /usr/share/man
|
|
|
|
}
|
|
|
|
|
|
|
|
do_build() {
|
|
|
|
make ${makejobs} world.opt
|
|
|
|
}
|
|
|
|
|
|
|
|
do_install() {
|
2013-04-16 14:39:52 +02:00
|
|
|
local compiler_libs=${DESTDIR}/usr/lib/ocaml/compiler-libs
|
|
|
|
|
2013-04-14 05:01:48 +02:00
|
|
|
make PREFIX=${DESTDIR}/usr MANDIR=${DESTDIR}/usr/share/man install
|
2012-09-30 07:11:16 +02:00
|
|
|
|
|
|
|
vinstall LICENSE 644 usr/share/licenses/${pkgname}
|
2013-04-16 14:39:52 +02:00
|
|
|
|
|
|
|
mkdir -pv "${compiler_libs}"/{parsing,typing,utils}
|
|
|
|
cp -v parsing/*.{cmi,cmo,cmx,ml,mli,mll,o} "${compiler_libs}"/parsing
|
|
|
|
cp -v typing/*.{cmi,cmo,cmx,ml,mli,o} "${compiler_libs}"/typing
|
|
|
|
cp -v utils/*.{cmi,cmo,cmx,ml,mli,o} "${compiler_libs}"/utils
|
2012-09-30 07:11:16 +02:00
|
|
|
}
|
|
|
|
|
2013-04-14 05:01:48 +02:00
|
|
|
|
|
|
|
ocaml-compiler-libs_package() {
|
2014-02-21 16:18:40 +01:00
|
|
|
depends="ocaml>=${version}_${revision}"
|
2013-04-14 05:01:48 +02:00
|
|
|
short_desc+=" -- shared libraries"
|
|
|
|
pkg_install() {
|
2013-04-16 14:39:52 +02:00
|
|
|
vmove usr/lib/ocaml/compiler-libs
|
2013-04-14 05:01:48 +02:00
|
|
|
vinstall ${wrksrc}/LICENSE 644 usr/share/licenses/${pkgname}
|
2013-04-16 14:39:52 +02:00
|
|
|
rm -f ${PKGDESTDIR}/usr/lib/ocaml/compiler-libs/typing/outcometree.{cmi,mli}
|
2013-04-14 05:01:48 +02:00
|
|
|
}
|
|
|
|
}
|