CVS log for pkgsrc/lang/ocaml/Makefile

Up to [NetBSD + pkgsrc-wip] / pkgsrc / lang / ocaml

Request diff between arbitrary revisions - Display revisions graphically

Keyword substitution: kv
Default branch: MAIN

Fix SunOS linker/as args.

Update to O'Caml 3.12.1


Changes in Objective Caml 3.12.1:

Features:
- added '-ml-synonym' and '-mli-synonym' options to ocamldep
- added '-ocamldoc' option to ocamlbuild
- added possibility to add options to ocamlbuild
- added access to current camlp4 parsers and printers
- improved instruction selection for float operations on amd64
- stdlib: added a 'usage_string' function to Arg
- allow with constraints to add a type equation to a datatype definition
- ocamldoc: allow to merge '@before' tags like other ones
- ocamlbuild: allow dependency on file "_oasis"

Other changes:
- Changed default minor heap size from 32k to 256k words.
- Added new operation 'compare_ext' to custom blocks, called when
  comparing a custom block value with an unboxed integer.

Multiple bug fixes.

Add missing mk/termcap buildlink.

Bump PKGREVISION

omake tries to link with the ocaml runtime directly. This fails as
libocamlrun.a has a curses dependency on NetBSD. Patch the linker
invocation to allow adding platform specific options.

lang/ocaml: Add DragonFly64, natdynload, and gprof support

Add support for x86_64-*-DragonFly
Add support for native dynamic loading on both platforms
Add support for profiling on both platforms
Add ability to detect X11 in pkgsrc.  This currently has no impact
because the makefile disables X11.

PKGREVISION must not be in Makefile.common.

move PKGREVISION to each Makefile including the Makefile.common for
keep version number, and bump again for ocaml-graphics because the
previous bump resuited in downgrade.

Fix PLIST on Darwin-11.*-x86_64.

Enable native dynamic loading support on NetBSD/{i386,amd64}.

Bump pkgrevision.

While I'm here: add a comment to patch-at explaining what it does.

Tested by

$ make install
$ cd work/ocaml-3.12.0/testsuite && gmake one DIR=tests/lib-dynlink-native

(Not in a build-env because that uses the wrappers, which don't let the
test suite see the installed OCaml files.)

This is only a workaround on NetBSD/{i386,amd64} for the problems of
OCaml PR#5049 <http://caml.inria.fr/mantis/view.php?id=5049>.  (E.g.,
this workaround makes Coccinelle build on those platforms -- but it
still won't build on platforms with native compilation but no native
dynamic loading.  Need to hack everything that uses dynlink to have
four compile-time cases -- {yes,no} {byte,nat}dynlink.)

Pass CFLAGS and LDFLAGS to the compiler (fixes problems e.g. on Mac OS X); pkglint clean-up

- Enable native compilation for arm.

- to do this, and make the result runnable on pre-thumb arm, change
  upstreams assembler snippets and stubs to use "mov pc,reg" instead
  of the return/call-to-thumb-friendly "bx reg", which is not available
  in non-thumb-enabled arm CPUs. Whether this is the way to go, or a
  seperate "armt" architecture for ocaml is needed, needs to be discussed
  with upstream.

Resulting compiler, when running its selftest suite, has 6 errors less than
the same on i386. Unison compiled natively with this passes its self-test.

Add PLIST support for natdynlink
This unbreaks make package for darwin and linux

Unlimit stacksize, needed at least on my 5.99.38/amd64.

Update to O'Caml 3.12.0, add test target.

Some of the highlights in release 3.12 are:

  * Polymorphic recursion is supported, using explicit type
    declarations on the recursively-defined identifiers.
  * First-class modules: module expressions can be embedded as
    values of the core language, then manipulated like any other
    first-class value, then projected back to the module level.
  * New operator to modify a signature a posteriori: S with type
    t := tau denotes signature S where the t type component is
    removed and substituted by the type tau elsewhere.
  * New notations for record expressions and record patterns:
    { lbl } as shorthand for { lbl = lbl }, and { ...; _ } marks
    record patterns where some labels were intentionally omitted.
  * Local open let open ... in ... now supported by popular demand.
  * Type variables can be bound as type parameters to functions;
    such types are treated like abstract types within the
    function body, and like type variables (possibly generalized)
    outside.
  * The module type of construct enables to recover the module
    type of a given module.
  * Explicit method override using the method! keyword, with
    associated warnings and errors.

ocaml's stub libraries are also built on 64-bit Darwin 10.

fix choosing pkgsrc provided compiler

Remove useless patches, and fix PLIST issues on freebsd x86_64

Pullup ticket #2649 - requested by he
ocaml: build fix for NetBSD/macppc

Revisons pulled up:
- lang/ocaml/Makefile			1.61
- lang/ocaml/distinfo			1.44
- lang/ocaml/patches/patch-bv		1.5
---
Module Name:	pkgsrc
Committed By:	he
Date:		Thu Jan 22 01:00:34 UTC 2009

Modified Files:
	pkgsrc/lang/ocaml: Makefile distinfo
Added Files:
	pkgsrc/lang/ocaml/patches: patch-bv

Log Message:
Add a patch so that this package builds for our powerpc ports
as well.  In this case, we fall into the SYS_elf branch together
with Linux, but we need a few other specifics to access registers
in the sigcontext.

Add a patch so that this package builds for our powerpc ports
as well.  In this case, we fall into the SYS_elf branch together
with Linux, but we need a few other specifics to access registers
in the sigcontext.

Fix PLIST of ocaml-graphics for architectures not using the optimiser.
Add amd64 to that list. Bump revision of ocaml-graphics. Make ocaml
itself and ocaml-graphics destdir safe.

include opt and stubs on intel darwin leopard

Changes 3.10.1:
* Bug fixes
* New features:
  - made configure script work on PlayStation 3
  - ARM port: brought up-to-date for Debian 4.0 (Etch)
  - many other small changes and bugfixes in camlp4, ocamlbuild, labltk,
    emacs files

Include stub libraries on Linux as well. From PR 37584.

Added MAKE_JOBS_SAFE as suggested in PR 37234.

Set SHELL explicitly on the install make invocation when on solaris.
By using /bin/ksh (${SH}), we get the desired value of $CWD in on of the
scripts called by the programs install procedure.

Fixes installation under solaris, other platforms unaffected.

Changes 3.10.0:
- New language features
- New tools
- Faster type-checking of functor applications.
- Referencing an interface compiled with -rectypes from a module
    not compiled with -rectypes is now an error.
- Revised the "fragile matching" warning.
- Print a stack backtrace on an uncaught exception.
- Stack overflow detection on MS Windows 32 bits.
- Stack overflow detection on MacOS X PPC and Intel.
- Intel/AMD 64 bits: generate position-independent code by default.
- Fixed bug involving -for-pack and missing .cmx files.
- Fixed bug causing duplication of literals.
- C/Caml interface functions take "char const *" arguments
  instead of "char *" when appropriate.
- Faster string comparisons (fast case if strings are ==).
- Other

Stub libraries are built on Darwin/powerpc only, not on Darwin/i386.

Changes 3.09.3:

Bug fixes:
- ocamldoc: -using modtype constraint to filter module elements displayed in doc
- ocamldoc: error in merging of top dependencies of modules
- ocamldoc: -dot-colors has no effect
- ocamdloc: missing crossref in text from intro files
- compilers: segfault with recursive modules
- compilers: infinite loop when compiling objects
- compilers: bad error message when signature mismatch
- compilers: infinite loop with -rectypes
- compilers: contravariance bug in private rows
- compilers: unsafe cast with polymorphic exception
- native compiler: bad assembly code generated for AMD64
- native compiler: stack alignment problems on MacOSX/i386
- stdlib: crash in marshalling
- stdlib: crash when closing a channel twice
- stdlib: memory leak in Sys.readdir
- C interface: better definition of CAMLreturn
- otherlibs/unix: crash in gethostbyname
- tools: subtle problem with unset in makefile
- camlp4: install pa_o_fast.o
- camlp4: install more modules

New features:
- ocamldoc: name resolution in cross-referencing {!name}: if name is not
    found, then it is searched in the parent module/class, and in the parent
    of the parent, and so on until it is found.
- ocamldoc: new option -short-functors to use a short form to display
    functors in html generator
- ocamlprof: added "-version" option

Pullup ticket 1836 - requested by dmcmahill
build fix for ocaml on solaris

Revisions pulled up:
- pkgsrc/lang/ocaml/Makefile			1.51

   Module Name:	pkgsrc
   Committed By:	dmcmahill
   Date:		Mon Oct  2 21:19:23 UTC 2006

   Modified Files:
	pkgsrc/lang/ocaml: Makefile

   Log Message:
   fix PLIST for solaris

fix PLIST for solaris

Include stublibs on FreeBSD as well. Bump revision.

Add back a patch fragment which got lost during the update.
Bump revision, since the thread support was not built on DragonFly.

Update lang/ocaml to 3.09.2.

Changes from 3.09.1:
----
Bug fixes:
- Makefile: problem with "make world.opt"
- compilers: problem compiling several modules with one command line
- compilers,ocamldoc: error message that Emacs cannot parse
- compilers: crash when printing type error
- compilers: -dtypes wrong for monomorphic type variables
- compilers: wrong warning on optional arguments
- compilers: crash when wrong use of type constructor in let rec
- compilers: better wording of "statement never returns" warning
- runtime: inefficiency of signal handling
- runtime: crashes with I/O in multithread programs
- camlp4: empty file name in error messages
- camlp4: stack overflow
- otherlibs/labltk: ocamlbrowser ignores its command line options
- otherlibs/unix: Unix.times wrong under Mac OS X
- otherlibs/unix: wrong doc for execvp and execvpe
- otherlibs/win32unix: random crash in Unix.stat
- stdlib: update_mod not found under Windows
- stdlib: Filename.dirname/basename wrong on Win32
- stdlib: incomplete documentation of Pervasives.abs
- stdlib: Printf bugs
- tools/checkstack.c missing include
- yacc: crash when given argument "-"

New features:
- ported to MacOS X on Intel
- configure: added support for GNU Hurd

Reorder PLIST components so that directories are removed in the correct
order.  Remove "@unexec rmdir" lines made redundant by the reordering.
Also, use a more succinct way to match ${OPSYS} + ${MACHINE_ARCH} by
just checking ${MACHINE_PLATFORM}.

Ensure that the main PLIST component file is part of PLIST_SRC for
platforms other than i386, powerpc, and sparc.  Problem noted and fix
suggested by Olaf Seibert on pkgsrc-users@.  Bump PKGREVISION for PLIST
changes.

Recursive revision bump / recommended bump for gettext ABI change.

Added support for dynamic loading on NetBSD. Bumped PKGREVISION.
Fixed almost all pkglint -Wall warnings.

Changes 3.09.1:

* Bug fixes
* New features:
- otherlibs/labltk: browser uses menu bars instead of menu buttons


Changes 3.09.0:

Language features:
- Introduction of private row types, for abstracting the row in object
  and variant types.

Type checking:
- Polymorphic variants with at most one constructor [< `A of t] are no
  longer systematically promoted to the exact type [`A of t]. This was
  more confusing than useful, and created problems with private row
  types.

Native-code compiler (ocamlopt):
* Revised implementation of the -pack option (packing of several compilation
  units into one).  The .cmx files that are to be packed with
  "ocamlopt -pack -o P.cmx" must be compiled with "ocamlopt -for-pack P".
  In exchange for this additional constraint, ocamlopt -pack is now
  available on all platforms (no need for binutils).
* Fixed wrong evaluation order for arguments to certain inlined functions.

* Other (see 'Changes')

DragonFly needs the stublib PLIST fragment as well. Bump revision.
Fix another place where a ocaml script is installed with
BSD_INSTALL_PROGRAM, which doesn't work on DragonFly, since strip
bails out.

Support for profiling on sparc machine is not available only for netbsd, but
supported on SunOS (the failure of bulk build comes from somewhere else).

profiling support is not available for sparc, so do not include PLIST.prof on
sparc (showed by bulk build, and documented at
http://caml.inria.fr/pub/docs/manual-ocaml/manual025.html)

profiling support is not available for solaris/i386

Let x11/labltk use bdb if native ndbm is not available.

Make ocaml build with pkgsrc bdb.

- Update from 3.06 to 3.08.2
- Lots of changes/bugfixes - see Changes for all the details

Do not depend on Tk nor X11.  Two new packages will be added to provide
the missing bits, namely labltk and ocaml-graphics, respectively.  To
simplify this, add a Makefile.common.  Bump PKGREVISION to 8.

Per discussion with wiz@ a while ago.

This is configured with -with-thread.  Include pthread.buildlink3.mk
here explicitly.

Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.
Suggested by Roland Illig, ok'd by various.

Libtool fix for PR pkg/26633, and other issues.  Update libtool to 1.5.10
in the process.  (More information on tech-pkg.)

Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and
installing .la files.

Bump PKGREVISION (only) of all packages depending directly on the above
via a buildlink3 include.

Two Darwin fixes:
	- split out the profiled libraries in the PLIST, because they
	  don't get built on Darwin.
	- set INSTALL_UNSTRIPPED on Darwin for both ocaml itself and
	  anything that directly depends on it, because the ocaml compiler
	  generates binaries that don't strip properly.

Drop maintainership.  (I kind of semi-voluntarily inherited this package
from groo, but really can't maintain it responsibly.)

Fix various issues with this package:
- split patches files
- always enable threading which has various advantages
  - it fixes the build of the Tk library
  - it greatly simplifies the package list handling
  - it provides threading support under NetBSD 1.6/1.6.x
- correct default dependence in "buildlink2.mk" to "build"
Bump package revision because of all these changes.

Avoid ECHO_N for the pkgsrc-2004Q1 branch benefit.

Partialy revert previous and use {TCL,TK}CONFIG_SH's content to pass
more accurate data to configure.

Fix -again now that revision 1.4 of mk/pthread.buildlink3.mk had been
reverted- build with threaded Tcl/Tk packages.

Just pass all CPPFLAGS, CFLAGS and LDFLAGS to configure as
${CC} with options or '-libs' specification.

This fix the build of the package with threaded tcl/tk libraries
from the tcl/tk packages.

While here remove FIX_RPATH, bl3 framework takes care of that for us.

Use Tcl 8.4.x, bump package version.

Enable tk84 and replace x11/tk with x11/tk83.  Packages compatible
with 8.4 will be updated to depend on x11/tk after Tk update.

replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.

bl3ify

make sure that the platforms which don't support the optizations still
get the base PLIST.  Fixes recently noted problems on alpha bulk builds
that resulted in empty packages.

COMMENT should start with a capital letter.

s/netbsd.org/NetBSD.org/

* Use ".L" instead of "L" as label prefix on sparc
* For consistency use SYS_bsd for system type
  on powerpc.  We differ from SYS_elf (presumably Linux) on
  a few points here anyway.
* Fix signal handling on powerpc which caused a
  seg fault when compiling native code version of coq.
* Install ocamllex.opt, camlp4o.opt and camlp4r.opt too.

Enable native code compilers on powerpc and sparc.
Bump PKGREVISION.

Add support for native threads, per PR 20526.
Test-compiled on 1.6.1 and -current.

Master site's tree had been reorganised, fix MASTER_SITES.

Use BSD_INSTALL_* rather than 'mkdir' and 'cp' to install the files, so that
it's not a problem if root has a more stringent umask.  Bump PKGREVISION.

(1) Publicly export the value of _OPSYS_RPATH_NAME as RPATH_FLAG;
    Makefiles simply need to use this value often, for better or for
    worse.

(2) Create a new variable FIX_RPATH that lists variables that should
    be cleansed of -R or -rpath values if ${_USE_RPATH} is "no".  By
    default, FIX_RPATH contains LIBS, X11_LDFLAGS, and LDFLAGS, and
    additional variables may be appended from package Makefiles.

Update lang/ocaml to 3.06, using patch supplied by Martin Weber
(ephaeton at gmx dot net) in PR pkg/18023.  Besten Dank!

Changes from 3.04 to 3.05 (abbreviated list, full list available at
http://caml.inria.fr/archives/200207/msg00558.html):
 Language features:
	- Support for polymorphic methods and record fields.
	- Allows _ separators in integer and float literals, e.g. 1_000_000.
 Type-checker:
	- Fixed subtle typing bug with higher-order functors.
	- Fixed several complexity problems;
	- Fixed various bugs with objects and polymorphic variants.
 Bytecode compiler:
	- Fixed issue with ocamlc.opt and dynamic linking.
 Native-code compiler:
	- Fixed GC bug related to constant constructors of polymorphic variant types.
	- Fixed compilation bug for top-level "include" statements.
 Toplevel interactive system:
	- ocamlmktop: minimized possibility of name clashes with user-provided modules.
 Run-time system:
	- Better support for lazy data in the garbage collector.
	- Support for float formats that are neither big-endian nor little-endian
	- Fixed bug in callback*_exn functions in the exception-catching case.
 Standard library:
	- Protect against integer overflow in sub-string and sub-array bound checks.
	- New module Complex implementing arithmetic over complex numbers.
	- New module Scanf implementing format-based scanning a la scanf() in C.
	- various fixes and enhancements to existing modules
 Tools:
	- ocamldoc part of distribution
	- Debugger: now supports the option -I +dir.
	- ocamllex: supports the same identifiers as ocamlc;

Changes from 3.05 to 3.06:
 Type-checking:
 - Apply value restriction to polymorphic record fields.
Run-time system:
 - Fixed GC bug affecting lazy values.
Both compilers:
 - Added option "-version" to print just the version number.
 - Fixed wrong dependencies in .cmi generated with the -pack option.
Native-code compiler:
 - Fixed wrong return value for inline bigarray assignments.
Libraries:
 - Unix.getsockopt: make sure result is a valid boolean.
Tools:
 - ocamlbrowser: improved error reporting;

Beautify: correct tab-stops.

Merge from pkgsrc-current to buildlink2 branch.

Actually doing the commit:
> Update to version 3.04 based on patches submitted in PR#16896 by
> Marko Schuetz (MarcoSchuetz at web dot de) with minor modification by
> me, closing that PR.

(Pointed out by Takahiro Kambe)

Fix MASTER_SITES path.
XXX: 3.04 is out.

Updated ocaml to 3.01: Bugfix release

Mechanical changes of tk DEPENDS:

	tk-8.3.2  -> tk>=8.3.2
	tk-[0-9]* -> tk>=8.0
	tk-8.*    -> tk>=8.0

Move the COMMENT from being in its own file to a definition in the
package Makefile.

Adapt this package to tk-8.3.2.

Move all compilation steps into the build phase.
Man pages for optimized binaries are installed unconditionally, so move
them to the default PLIST.

Changed ${MAKE} in pre-install to ${GMAKE} too...

Package needs 'gmake' as it otherwise will not build.
Added support for native-code compiler for i386 architecture.

Objective Caml is the latest implementation of the Caml dialect of ML. The main
novelties compared with its ancestor, Caml Light, are: 

     * Full support for objects and classes -- here combined for the first time
        with ML-style type reconstruction. 
     * A powerful module calculus in the style of Standard ML (but retaining
        separate compilation). 
     * A high-performance native code compiler (in addition to a Caml
        Light-style bytecode compiler). 


TO BE DONE: install emacs mode, get native compiler working on ARCHs that
support it.

Initial revision