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

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


Branch: CURRENT, Version: 4.02.2, Package name: ocaml-4.02.2, 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).


Master sites:

SHA1: 7fb6571972635b00dfda204ca38a4b9dce79a354
RMD160: efb044b9c0a76ed20e7960176f26398dea2ba0aa
Filesize: 3099.792 KB

Version history: (Expand)


CVS history: (Expand)


   2015-07-04 11:29:48 by Jaap Boender | Files touched by this commit (2)
Log message:
Removed a superfluous (and breakage-causing) -p from a patch. Thanks to
BulkTracker for pointing me to this bug.
   2015-06-30 13:08:47 by Jaap Boender | Files touched by this commit (19) | Package updated
Log message:
Updated lang/ocaml to newest version 4.02.2. Changes apart from bugfixes
include:
- #6583: add a new class of binary operators with the same syntactic
  precedence as method calls; these operators start with # followed
  by a non-empty sequence of operator symbols (for instance #+, #!?).
  It is also possible to use '#' as part of these extra symbols
  (for instance ##, or #+#); this is rejected by the type-checker,
  but can be used e.g. by ppx rewriters.
* #6016: add a "nonrec" keyword for type declarations
- #6600: make -short-paths faster by building the printing map
  incrementally
- #6642: replace $CAMLORIGIN in -ccopt with the path to cma or cmxa
  to output an object file with included runtime and autolink libraries
- #6845: -no-check-prims to tell ocamlc not to check primitives in runtime
- G#149: Attach documentation comments to parse tree
- G#159: Better locations for structure/signature items
- #5958: generalized polymorphic #install_printer
- #6237: explicit "infer" tag to control or disable menhir --infer
- #6625: pass -linkpkg to files built with -output-obj.
- #6712: Ignore common VCS directories
- #6720: pass -g to C compilers when tag 'debug' is set
- #6733: add .byte.so and .native.so targets to pass
  -output-obj -cclib -shared.
- #6733: "runtime_variant(X)" to pass -runtime-variant X option.
- #6774: new menhir-specific flags "only_tokens" and \ 
"external_tokens(Foo)"
- #6285: Add support for nanosecond precision in Unix.stat()
- #6781: Add higher baud rates to Unix termios
- #6834: Add Obj.{first,last}_non_constant_constructor_tag
- #6078: Release the runtime system when calling caml_dlopen
- #6675: GC hooks
- #5418 (comments) : generate dependencies with $(CC) instead of gcc
- #6266: Cross compilation for iOs, Android etc
- Update instructions for x86-64 PIC mode and POWER architecture builds
- #6452, G#140: add internal suport for custom printing formats
- #6641: add -g, -ocamlcflags, -ocamloptflags options to ocamlmklib
- #6693: also build libasmrun_shared.so and lib{asm,caml}run_pic.a
- #6842: export Typemod.modtype_of_package
- G#139: more versatile specification of locations of .annot
- G#157: store the path of cmos inside debug section at link time
- G#191: Making gc.h and some part of memory.h public
   2015-04-17 11:12:12 by Jaap Boender | Files touched by this commit (3)
Log message:
Extended gdt's i386 ucontext signal handler patch to amd64. This shouldn't
affect anything that isn't NetBSD/amd64.
   2015-04-03 00:40:09 by Tobias Nygren | Files touched by this commit (6)
Log message:
Avoid using the "3o" man page section, since plist-man.awk can't handle it.
Instead treat ocaml like we do with lang/perl5 and install the man pages in
the "3" section in /usr/pkg/lib/ocaml/man/man3.
   2015-03-17 15:14:43 by Jonathan Perkin | Files touched by this commit (2)
Log message:
Detect 64-bit SunOS.
   2015-03-14 16:17:15 by Greg Troxel | Files touched by this commit (2)
Log message:
Fix i386 signal handler.

ocaml has a twisty maze of ifdefs to define signal handler types and
obtain the faulting address.  NetBSD no longer has sigcontext
(available to user space) and instead the more POSIXy ucontext; this
commit changes the patch to use that.

Fixes build on i386, and the resulting package can run unison.  In
theory !i386 is unchanged.
   2015-03-11 23:37:18 by Tobias Nygren | Files touched by this commit (1)
Log message:
ocamlrun needs dlopen
   2015-01-26 15:46:51 by Jaap Boender | Files touched by this commit (2)
Log message:
Added a patch that fixes signal handlers on i386.