./lang/ocaml, The latest implementation of the Caml dialect of ML

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 4.04.2nb3, Package name: ocaml-4.04.2nb3, Maintainer: jaapb

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).

Required to build:

Master sites:

SHA1: 24281675ea90c9234e323d556f1d4cd7bdab8ec1
RMD160: 3d8f78cd544815233f814a0e24eba8d3c948b190
Filesize: 3478.447 KB

Version history: (Expand)

CVS history: (Expand)

   2017-07-18 19:41:04 by Thomas Klausner | Files touched by this commit (3) | Package updated
Log message:
Support -Wl,-z in ocamlmklib. Needed for RELRO support e.g. in ocaml-lablgtk.

   2017-07-18 01:26:23 by Thomas Klausner | Files touched by this commit (6)
Log message:
Honor LDFLAGS. Fixes RELRO build.
   2017-07-17 11:45:36 by Jaap Boender | Files touched by this commit (1)
Log message:
Corrected some PLIST duplication
   2017-07-12 09:52:28 by Havard Eidnes | Files touched by this commit (3) | Package updated
Log message:
A preexisting pkgsrc patch changed the "man page output suffix" from
.3o to just .3, so adapt this test's Makefile to follow suit.  Brings
the number of failing self-tests down from 1 to 0.
   2017-07-11 19:15:02 by Havard Eidnes | Files touched by this commit (5) | Package updated
Log message:
Add the required glue to make this work again on NetBSD/powerpc.

Pkgsrc changes:
 * Add required macros for accessing ucontext for NetBSD/powerpc
 * Omit files from PLIST.opt which are in PLIST.natdynlink.
   So far macppc doesn't do "natdynlink", tests are failing.
 * Adapt Makefile to features enabled on NetBSD/powerpc.

The self-test results are nearly the same as on NetBSD/i386, with one
test failing, difference is one unexpected failure related to native
dynlink which I thought I had not enabled, and which obviously needs
more attention since it tries to reference a Linux linker script.
  637 tests passed
   13 tests skipped
    1 tests failed
    1 unexpected errors
  652 tests considered

List of failed tests:

List of unexpected errors:
   2017-07-11 11:52:12 by Jaap Boender | Files touched by this commit (3) | Package updated
Log message:
Updated package to newest version, 4.04.2. Changes include:

OCaml 4.04.2 (23 Jun 2017):

### Security fix:

- Local privilege escalation issue with ocaml binaries.
  (Damien Doligez, report by Eric Milliken, review by Xavier Leroy)

OCaml 4.04.1 (14 Apr 2017):

### Code generation and optimizations:

- Consider arrays of length zero as constants
  when using Flambda.
  (Pierre Chambart, review by Mark Shinwell and Leo White)

### Standard library:

- fix a bug in Set.map as introduced in 4.04.0
  (Gabriel Scherer, report by Thomas Leonard)

### Tools:

- ocamldoc, avoid nested <pre> tags in module description.
  (Florian Angeletti, report by user 'kosik')

- ocamldoc, wrong Latex output for variant types
  with constructors without arguments.
  (Florian Angeletti, report by Xavier Leroy)

### Build system:

- New flexlink target in Makefile.nt to bootstrap the
  flexlink binary only, rather than the flexlink binary and the FlexDLL C
  (David Allsopp)

### Bug fixes

- Str.regexp raises "Invalid_argument: index out of bounds"
  (Damien Doligez, report by John Whitington)

- Fix ocamlmklib with bootstrapped FlexDLL. Bootstrapped
  FlexDLL objects are now installed to a subdirectory flexdll of the Standard
  Library which allows the compilers to pick them up explicitly and also
  ocamlmklib to include them without unnecessarily adding the entire Standard
  (David Allsopp)

- fix incorrect timestamps returned by Unix.stat on Windows
  when either TZ is set or system date is in DST.
  (David Allsopp, report and initial fix by Nicolás Ojeda Bär, review and
   superior implementation suggestion by Xavier Leroy)

- s390x: Fix address of caml_raise_exn in native dynlink modules
  (Richard Jones, review by Xavier Leroy)

- ensure 16 byte stack alignment inside caml_allocN on x86-64
  for ocaml build with WITH_FRAME_POINTERS defined
  (Christoph Cullmann)

- fix slow compilation on source files containing a lot
  of similar debugging information location entries
  (Mark Shinwell)

- a case of double free in the systhreads library (POSIX implementation)
  (Xavier Leroy, report by Chet Murthy)

- catch uncaught exception when unknown files are passed
  as argument (regression in 4.04.0)
  (Bernhard Schommer, review by Florian Angeletti and Gabriel Scherer,
   report by Stephen Dolan)

- Memory cannot be released after calling
  (Damien Doligez and Xavier Leroy, report by Liang Wang)

- Fix segfault in Unix.create_process on Windows caused by wrong header
  (David Allsopp)

- add dynlink options to ocamlbytecomp.cmxa to allow ocamlopt.opt
  to load plugins. See http://github.com/OCamlPro/ocamlc-plugins for examples.
  (Fabrice Le Fessant, review by David Allsopp)

- caml-types.el: Fix missing format argument, so that it can show kind
  of call at point correctly.
  (Chunhui He)

- Allow Windows CRLF line-endings in ocamlyacc on Unix and Cygwin.
  (David Allsopp, review by Damien Doligez and Xavier Leroy)

- Fix segfault in Sys.runtime_parameters when exception backtraces
  are enabled.
(Olivier Andrieu)
   2017-03-27 14:54:59 by Jonathan Perkin | Files touched by this commit (3)
Log message:
Enable profiling on SunOS/x86_64.  Note to DragonFly developers that the
existing patch for enabling profiling for that platform is clearly
incorrect, but I'm not going to change it without being able to test it.
   2017-03-27 14:51:58 by Jonathan Perkin | Files touched by this commit (2)
Log message:
Move some files from PLIST.prof to the main PLIST, as the install phase
creates symlinks for them if profiling is not supported by the target.