files are only built and installed if "opt" is passed as a build
target. This fixes installation on platforms on which the native-code
compiler is not supported, e.g. NetBSD/amd64.
New features:
- support for ocamlopt -pack under Mac OS X (PR#2634, PR#3320)
- ignore unknown warning options for forward and backward compatibility
- runtime: export caml_compare_unordered (PR#3479)
- camlp4: install argl.* files (PR#3439)
- ocamldoc: add -man-section option
- labltk: add the "solid" relief option (PR#3343)
- compiler: ocamlc -i now prints variance annotations
Bug fixes:
- typing: fix unsoundness in type declaration variance inference.
Type parameters which are constrained must now have an explicit variant
annotation, otherwise they are invariant. This is not backward
compatible, so this might break code which either uses subtyping or
uses the relaxed value restriction (i.e. was not typable before 3.07)
- typing: erroneous partial match warning for polymorphic variants (PR#3424)
- runtime: handle the case of an empty command line (PR#3409, PR#3444)
- stdlib: make Sys.executable_name an absolute path in native code (PR#3303)
- runtime: fix memory leak in finalise.c
- runtime: auto-trigger compaction even if gc is called manually (PR#3392)
- stdlib: fix segfault in Obj.dup on zero-sized values (PR#3406)
- camlp4: correct parsing of the $ identifier (PR#3310, PR#3469)
- windows (MS tools): use link /lib instead of lib (PR#3333)
- windows (MS tools): change default install destination
- autoconf: better checking of SSE2 instructions (PR#3329, PR#3330)
- graphics: make close_graph close the X display as well as the window (PR#3312)
- num: fix big_int_of_string (empty string) (PR#3483)
- num: fix big bug on 64-bit architecture (PR#3299)
- str: better documentation of string_match and string_partial_match (PR#3395)
- unix: fix file descriptor leak in Unix.accept (PR#3423)
- unix: miscellaneous clean-ups
- unix: fix documentation of Unix.tm (PR#3341)
- graphics: fix problem when allocating lots of images under Windows (PR#3433)
- compiler: fix error message with -pack when .cmi is missing (PR#3028)
- cygwin: fix problem with compilation of camlheader (PR#3485)
- stdlib: Filename.basename doesn't return an empty string any more (PR#3451)
- stdlib: better documentation of Open_excl flag (PR#3450)
- ocamlcp: accept -thread option (PR#3511)
- ocamldep: handle spaces in file names (PR#3370)
- compiler: remove spurious warning in pattern-matching on variants (PR#3424)
- windows: better handling of InterpreterPath registry entry (PR#3334, PR#3432)
(it currently affects packages using X11, but I guess it will also cause
problems when using pkgviews, for example).
So, instead of fixing it on a package basis, create some wrappers in the
buildlink directory that parse CFLAGS and LDFLAGS contents and convert them
to ocaml flags (basically, prepend -ccopt to each of them).
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.
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.
- 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.
- 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.
${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.
the normal case when BUILDLINK_DEPENDS.<pkg> isn't specified, it receives
a value only once due to the multiple inclusion protection in the
bulldlink3.mk files. In the case where a package includes several
buildlink3.mk files that each want a slightly different version of another
dependency, having BUILDLINK_DEPENDS.<pkg> be a list allows for the
strictest <pkg> dependency to be matched.
* 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.
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.
(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;
> 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)
Marko Schuetz (MarcoSchuetz at web dot de) with minor modification by
me, closing that PR.
Changes since 3.01:
Too much to list here - see http://caml.inria.fr/ocaml/Changes
Note that this release includes camlp4, thus rendering that package
redundant.
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.
