b3f84848fb
also upstream changelog):
Language features:
- Attributes and extension nodes
- Generative functors
- Module aliases
* Alternative syntax for string literals {id|...|id} (can break comments)
- Separation between read-only strings (type string) and read-write byte
sequences (type bytes). Activated by command-line option -safe-string.
Build system for the OCaml distribution:
- Use -bin-annot when building.
- Use GNU make instead of portable makefiles.
- Updated build instructions for 32-bit Mac OS X on Intel hardware.
Shedding weight:
* Removed Camlp4 from the distribution, now available as third-party software.
* Removed Labltk from the distribution, now available as a third-party library.
Type system:
* Keep typing of pattern cases independent in principal mode
- Allow opening a first-class module or applying a generative functor
in the body of a generative functor. Allow it also in the body of
an applicative functor if no types are created
* Module aliases are now typed in a specific way, which remembers their
identity. In particular this changes the signature inferred by
"module type of"
- Slight change in the criterion to distinguish private
abbreviations and private row types: create a private abbreviation for
closed objects and fixed polymorphic variants.
* Compare first class module types structurally rather than
nominally. Value subtyping allows module subtyping as long as the internal
representation is unchanged.
Compilers:
- More aggressive constant propagation, including float and
int32/int64/nativeint arithmetic. Constant propagation for floats
can be turned off with option -no-float-const-prop, for codes that
change FP rounding modes at run-time.
- New back-end optimization pass: common subexpression elimination (CSE).
(Reuses results of previous computations instead of recomputing them.)
- New back-end optimization pass: dead code elimination.
(Removes arithmetic and load instructions whose results are unused.)
- Optimization of sequences of string patterns
- Experimental native code generator for AArch64 (ARM 64 bits)
- Optimization of integer division and modulus by constant divisors
- Add "-open" command line flag for opening a single module before typing
* "-o" now sets module name to the output file name up to the first "."
(it also applies when "-o" is not given, i.e. the module name is then
the input file name up to the first ".")
* better sharing of structured constants
- new flag to keep locations in cmi files
- issue warning 3 when referring to a value marked with
the [@@ocaml.deprecated] attribute
- a new format implementation based on GADTs
* Constant exception constructors no longer allocate
- avoid unnecessary boxing in let
- Better compilation of optional arguments with default values
- ocamlopt -opaque option for incremental native compilation
Toplevel interactive system:
- New "#show_*" directives
Runtime system:
- New configure option "-no-naked-pointers" to improve performance by
avoiding page table tests during block darkening and the marking phase
of the major GC. In this mode, all out-of-heap pointers must point at
things that look like OCaml values: in particular they must have a valid
header. The colour of said headers should be black.
- Fixed bug in native code version of [caml_raise_with_string] that could
potentially lead to heap corruption.
- Blocks initialized by [CAMLlocal*] and [caml_alloc] are now filled with
[Val_unit] rather than zero.
- Fixed a major performance problem on large heaps (~1GB) by making heap
increments proportional to heap size by default
- Structural equality treats exception specifically
- efficient comparison/indexing of exceptions
- avoid using unsafe C library functions (strcpy, strcat, sprintf)
- An ISO C99-compliant C compiler and standard library is now assumed.
(Plus special exceptions for MSVC.) In particular, emulation code for
64-bit integer arithmetic was removed, the C compiler must support a
64-bit integer type.
Standard library:
* Add new modules Bytes and BytesLabels for mutable byte sequences.
- add List.sort_uniq and Set.of_list
- a faster version of "raise" which does not maintain the backtrace
- support "Unix.kill pid Sys.sigkill" under Windows
- speed improvement for Buffer
- efficient creation of uninitialized float arrays
- Improve documentation regarding finalisers and multithreading
- Trigger warning 3 for all values marked as deprecated in the documentation.
42 lines
2 KiB
Text
42 lines
2 KiB
Text
$NetBSD: patch-tools_ocamlmklib,v 1.3 2014/10/09 19:08:28 jaapb Exp $
|
|
|
|
Add ELF mode support to ocamlmklib
|
|
--- tools/ocamlmklib.ml.orig 2014-04-29 11:56:17.000000000 +0000
|
|
+++ tools/ocamlmklib.ml
|
|
@@ -25,6 +25,7 @@ and c_objs = ref [] (* .o, .a, .
|
|
and caml_libs = ref [] (* -cclib to pass to ocamlc, ocamlopt *)
|
|
and caml_opts = ref [] (* -ccopt to pass to ocamlc, ocamlopt *)
|
|
and dynlink = ref supports_shared_libraries
|
|
+and elfmode = ref false (* do not add C link lib path to run-time path *)
|
|
and failsafe = ref false (* whether to fall back on static build only *)
|
|
and c_libs = ref [] (* libs to pass to mksharedlib and ocamlc -cclib *)
|
|
and c_Lopts = ref [] (* options to pass to mksharedlib and ocamlc -cclib *)
|
|
@@ -94,8 +95,9 @@ let parse_arguments argv =
|
|
c_libs := s :: !c_libs
|
|
else if starts_with s "-L" then
|
|
(c_Lopts := s :: !c_Lopts;
|
|
- let l = chop_prefix s "-L" in
|
|
- if not (Filename.is_relative l) then rpath := l :: !rpath)
|
|
+ if not !elfmode then
|
|
+ (let l = chop_prefix s "-L" in
|
|
+ if not (Filename.is_relative l) then rpath := l :: !rpath))
|
|
else if s = "-ocamlc" then
|
|
ocamlc := next_arg ()
|
|
else if s = "-ocamlopt" then
|
|
@@ -106,6 +108,8 @@ let parse_arguments argv =
|
|
output_c := next_arg()
|
|
else if s = "-dllpath" || s = "-R" || s = "-rpath" then
|
|
rpath := next_arg() :: !rpath
|
|
+ else if s = "-elfmode" then
|
|
+ elfmode := true
|
|
else if starts_with s "-R" then
|
|
rpath := chop_prefix s "-R" :: !rpath
|
|
else if s = "-Wl,-rpath" then
|
|
@@ -150,6 +154,7 @@ Usage: ocamlmklib [options] <.cmo|.cma|.
|
|
\n -ccopt <opt> C option passed to ocamlc -a or ocamlopt -a only\
|
|
\n -custom disable dynamic loading\
|
|
\n -dllpath <dir> Add <dir> to the run-time search path for DLLs\
|
|
+\n -elfmode Do not add link-time search path to run-time path\
|
|
\n -F<dir> Specify a framework directory (MacOSX)\
|
|
\n -framework <name> Use framework <name> (MacOSX)\
|
|
\n -help Print this help message and exit\
|