Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Oct 2, 2012
Commits on Jun 24, 2012
Commits on Jun 22, 2012
  1. When linking with X11 add an rpath to X11 libdir.

    sbd authored
Commits on Mar 12, 2012
  1. Fix SunOS linker/as args.

    fhajny authored
Commits on Mar 4, 2012
  1. Update to O'Caml 3.12.1

    asau authored
    Changes in Objective Caml 3.12.1:
    - 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.
Commits on Dec 6, 2011
  1. Add missing mk/termcap buildlink.

    sbd authored
Commits on Nov 27, 2011
  1. omake tries to link with the ocaml runtime directly. This fails as

    joerg authored
    libocamlrun.a has a curses dependency on NetBSD. Patch the linker
    invocation to allow adding platform specific options.
  2. lang/ocaml: Add DragonFly64, natdynload, and gprof support

    marino authored
    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.
Commits on Aug 15, 2011
Commits on Aug 8, 2011
  1. PKGREVISION must not be in Makefile.common.

    obache authored
    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.
Commits on Jul 28, 2011
  1. Fix PLIST on Darwin-11.*-x86_64.

    minskim authored
Commits on Jul 26, 2011
Commits on Jul 20, 2011
  1. Enable native dynamic loading support on NetBSD/{i386,amd64}.

    riastradh authored
    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 <>.  (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.)
Commits on Mar 29, 2011
  1. Pass CFLAGS and LDFLAGS to the compiler (fixes problems e.g. on Mac O…

    adam authored
    …S X); pkglint clean-up
Commits on Dec 19, 2010
  1. - Enable native compilation for arm.

    is authored
    - 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.
Commits on Nov 28, 2010
  1. Make this package work again on architectures where we don't compile

    is authored
    natively (that is, only to byte-code).
    This consists of two parts:
    a) a patch to ocamldoc/Makefile to make it create the man pages using
    the interpreted ocamldoc - this exists for both types of architectures,
    so is safe. (This will be sent up-stream).
    b) move a common shared library file to the common PLIST, and a lot of
    files (natively compiled versions of the ML modules and natively compiled
    versions of a few binaries) to PLIST.opt.
    This has been build-tested on i386 (cross-compiled from amd64) and on
    arm. unison builds and works.
    "make test" shows the same amount of passed and failed tests (mostly
    non-found libraries) as before; but this needs more investigation.
    An additional issue to solve (with upstream) is that there's no easy way
    to run the part of the test suite that would work on byte-code-only
Commits on Oct 28, 2010
  1. Add PLIST support for natdynlink

    tonio authored
    This unbreaks make package for darwin and linux
Commits on Aug 21, 2010
Commits on Aug 19, 2010
  1. Update to O'Caml 3.12.0, add test target.

    asau authored
    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)
      * 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.
Commits on Apr 22, 2010
Commits on Apr 21, 2010
  1. update ocaml to 3.11.2

    zafer authored
    Bug fixes:
    - PR#4151: better documentation for min and max w.r.t. NaN
    - PR#4421: ocamlbuild uses wrong compiler for C files
    - PR#4710, PR#4720: ocamlbuild does not use properly configuration information
    - PR#4750: under some Windows installations, high start-up times for Unix lib
    - PR#4777: problem with scanf and CRLF
    - PR#4783: ocamlmklib problem under Windows
    - PR#4810: BSD problem with socket addresses, e.g. in Unix.getnameinfo
    - PR#4813: issue with parsing of float literals by the GNU assembler
    - PR#4816: problem with modules and private types
    - PR#4818: missed opportunity for type-based optimization of bigarray accesses
    - PR#4821: check for duplicate method names in classes
    - PR#4823: build problem on Mac OS X
    - PR#4836: spurious errors raised by Unix.single_write under Windows
    - PR#4841, PR#4860, PR#4930: problem with ocamlopt -output-obj under Mac OS X
    - PR#4847: C compiler error with ocamlc -output-obj under Win64
    - PR#4856: ocamlbuild uses ocamlrun to execute a native plugin
    - PR#4867, PR#4760: ocamlopt -shared fails on Mac OS X 64bit
    - PR#4873: ocamlbuild ignores "thread" tag when building a custom toplevel
    - PR#4890: ocamlbuild tries to use native plugin on bytecode-only arch
    - PR#4896: ocamlbuild should always pass -I to tools for external libraries
    - PR#4900: small bug triggering automatic compaction even if max_overhead = 1M
    - PR#4902: bug in %.0F printf format
    - PR#4910: problem with format concatenation
    - PR#4922: ocamlbuild recompiles too many files
    - PR#4923: missing \xff for scanf %S
    - PR#4933: functors not handling private types correctly
    - PR#4940: problem with end-of-line in DOS text mode, tentative fix
    - PR#4953: problem compiling bytecode interpreter on ARM in Thumb mode.
    - PR#4955: compiler crash when typing recursive type expression with constraint
    - Module Printf: the simple conversion %F (without width indication) was not
               treated properly.
    - Makefile: problem with cygwin, flexdll, and symbolic links
    - Various build problems with ocamlbuild under Windows with msvc
    Feature wishes:
    - PR#9: (tentative implementation) make ocamldebug use #linenum annotations
    - PR#123, PR#4477: custom exception printers
    - PR#3456: Obj.double_field and Obj.set_double_field functions
    - PR#4003: destination directory can be given to Filename.[open_]temp_file
    - PR#4647: Buffer.blit function
    - PR#4685: access to Filename.dir_sep
    - PR#4703: support for debugging embedded applications
    - PR#4723: "clear_rules" function to empty the set of ocamlbuild rules
    - PR#4921: configure option to help cross-compilers
Commits on Nov 19, 2009
Commits on Oct 18, 2009
  1. Fix PR pkg/42190

    tonio authored
    Use #ifdef SIN6_LEN to know whether we have a 4.3 bsd or 4.4 bsd sockaddr
Commits on Oct 8, 2009
  1. gcc44 fix

    dmcmahill authored
Commits on Sep 22, 2009
  1. Fix build with db4 [PR pkg/42061]

    tonio authored
Commits on Sep 19, 2009
  1. fix choosing pkgsrc provided compiler

    sno authored
Commits on Sep 12, 2009
Commits on Sep 8, 2009
Commits on Sep 7, 2009
  1. Update lang/ocaml to 3.11.1 [PR pkg/41695]

    tonio authored
    (Changes that can break existing programs are marked with a "*"  )
    Language features:
    - Addition of lazy patterns: "lazy <pat>" matches suspensions whose values,
      after forcing, match the pattern <pat>.
    - Introduction of private abbreviation types "type t = private <type-expr>",
      for abstracting the actual manifest type in type abbreviations.
    - Subtyping is now allowed between a private abbreviation and its definition,
      and between a polymorphic method and its monomorphic instance.
    - The file name for a compilation unit should correspond to a valid
      identifier (Otherwise dynamic linking and other things can fail, and
      a warning is emitted.)
    * Revised -output-obj: the output name must now be provided; its
      extension must be one of .o/.obj, .so/.dll, or .c for the
      bytecode compiler. The compilers can now produce a shared library
      (with all the needed -ccopts/-ccobjs options) directly.
    - -dtypes renamed to -annot, records (in .annot files) which function calls
      are tail calls.
    - All compiler error messages now include a file name and location, for
      better interaction with Emacs' compilation mode.
    - Optimized compilation of "lazy e" when the argument "e" is
      already evaluated.
    - Optimized compilation of equality tests with a variant constant constructor.
    - The -dllib options recorded in libraries are no longer ignored when
      -use_runtime or -use_prims is used (unless -no_auto_link is
      explicitly used).
    - Check that at most one of -pack, -a, -shared, -c, -output-obj is
      given on the command line.
    - Optimized compilation of private types as regular manifest types
      (e.g. abbreviation to float, float array or record types with only
       float fields).
    Native-code compiler:
    - New port: Mac OS X / Intel in 64-bit mode (configure with -cc "gcc -m64").
    - A new option "-shared" to produce a plugin that can be dynamically
      loaded with the native version of Dynlink.
    - A new option "-nodynlink" to enable optimizations valid only for code
      that is never dynlinked (no-op except for AMD64).
    - More aggressive unboxing of floats and boxed integers.
    - Can select which assembler and asm options to use at configuration time.
    Run-time system:
    - New implementation of the page table describing the heap (two-level
      array in 32 bits, sparse hashtable in 64 bits), fixes issues with address
      space randomization on 64-bit OS (PR#4448).
    - New "generational" API for registering global memory roots with the GC,
      enables faster scanning of global roots.
      (The functions are caml_*_generational_global_root in <caml/memory.h>.)
    - New function "caml_raise_with_args" to raise an exception with several
      arguments from C.
    - Changes in implementation of dynamic linking of C code:
      under Win32, use Alain Frisch's flexdll implementation of the dlopen
      API; under MacOSX, use dlopen API instead of MacOSX bundle API.
    - Programs may now choose a first-fit allocation policy instead of
      the default next-fit.  First-fit reduces fragmentation but is
      slightly slower in some cases.
    Standard library:
    - Parsing library: new function "set_trace" to programmatically turn
      on or off the printing of a trace during parsing.
    - Printexc library: new functions "print_backtrace" and "get_backtrace"
      to obtain a stack backtrace of the most recently raised exception.
      New function "record_backtrace" to turn the exception backtrace mechanism
      on or off from within a program.
    - Scanf library: fine-tuning of meta format implementation;
      fscanf behaviour revisited: only one input buffer is allocated for any
      given input channel;
      the %n conversion does not count a lookahead character as read.
    Other libraries:
    - Dynlink: on some platforms, the Dynlink library is now available in
      native code. The boolean Dynlink.is_native allows the program to
      know whether it has been compiled in bytecode or in native code.
    - Bigarrays: added "unsafe_get" and "unsafe_set"
      (non-bound-checking versions of "get" and "set").
    - Bigarrays: removed limitation "array dimension < 2^31".
    - Labltk: added support for TK 8.5.
    - Num: added conversions between big_int and int32, nativeint, int64.
      More efficient implementation of Num.quo_num and Num.mod_num.
    - Threads: improved efficiency of mutex and condition variable operations;
      improved interaction with Unix.fork (PR#4577).
    - Unix: added getsockopt_error returning type Unix.error.
      Added support for TCP_NODELAY and IPV6_ONLY socket options.
    - Win32 Unix: "select" now supports all kinds of file descriptors.
      Improved emulation of "lockf" (PR#4609).
    - ocamldebug now supported under Windows (MSVC and Mingw ports),
      but without the replay feature.  (Contributed by Dmitry Bely
      and Sylvain Le Gall at OCamlCore with support from Lexifi.)
    - ocamldoc: new option -no-module-constraint-filter to include functions
      hidden by signature constraint in documentation.
    - ocamlmklib and ocamldep.opt now available under Windows ports.
    - ocamlmklib no longer supports the -implib option.
    - ocamlnat: an experimental native toplevel (not built by default).
    * programs linked with camlp4lib.cma now also need dynlink.cma.
Commits on Jun 14, 2009
  1. Remove @dirrm related logic.

    joerg authored
  2. Remove @dirrm entries from PLISTs

    joerg authored
Commits on May 16, 2009
Something went wrong with that request. Please try again.