Merge remote-tracking branch 'dave/master'

* dave/master:
  New package: ocaml-4.00.0.
This commit is contained in:
Juan RP 2012-09-30 09:08:28 +02:00
commit e65c09432c
4 changed files with 62 additions and 0 deletions

1
srcpkgs/ocaml-compiler-libs Symbolic link
View File

@ -0,0 +1 @@
ocaml

View File

@ -0,0 +1,18 @@
# Template file for 'ocaml-compiler-libs'.
#
depends="ocaml-${version}"
short_desc="${short_desc} (shared libraries)"
long_desc="${long_desc}
This package contains modules used internally by the OCaml compiler."
do_install() {
local compiler_libs="${DESTDIR}/usr/lib/ocaml/compiler-libs"
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
rm -fv "${compiler_libs}"/typing/outcometree.{cmi,mli}
vinstall LICENSE 644 usr/share/licenses/${pkgname}
}

View File

@ -0,0 +1,6 @@
libm.so.6
libdl.so.2
libncursesw.so.6
libpthread.so.0
libc.so.6
libX11.so.6

37
srcpkgs/ocaml/template Normal file
View File

@ -0,0 +1,37 @@
# Template file for 'ocaml'
pkgname=ocaml
_majorver=4.00
version=${_majorver}.0
revision=1
build_style=configure
configure_args="-prefix /usr -mandir /usr/share/man"
make_build_args="world.opt"
_ocprefix="${XBPS_DESTDIR}/${pkgname}-${version}/usr"
make_install_args="PREFIX=${_ocprefix} MANDIR=${_ocprefix}/share/man"
disable_parallel_build=yes
makedepends="gdbm-devel ncurses-devel libX11-devel"
short_desc="The main implementation of the Caml language"
maintainer="davehome <davehome@redthumb.info.tm>"
homepage="http://caml.inria.fr"
license="QPL-1,LGPL-2"
distfiles="${homepage}/pub/distrib/${pkgname}-${_majorver}/${pkgname}-${version}.tar.bz2"
checksum=ec886d7bc587ce472fcbdf294feb4b1fa2d8e7ef78ab6a4e66551699435d5cd7
long_desc="
Caml is a general-purpose programming language, designed with program safety
and reliability in mind. It is very expressive, yet easy to learn and use. Caml
supports functional, imperative, and object-oriented programming styles.
Some features are:
- A powerful type system, with parametric polymorphism and type inference.
- User-definable algebraic data types and pattern matching.
- Automatic memory management: fast, unobtrusive, incremental GC.
- A sophisticated module system.
- Expressive OO layer; multiple inheritance and parametric classes.
- Efficient native code compilers."
subpackages="${pkgname}-compiler-libs"
post_install() {
vinstall LICENSE 644 usr/share/licenses/${pkgname}
}