CVS commit: pkgsrc/lang/ocaml

["Joerg Sonnenberger" <joerg%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   joerg
Date:           Fri Nov 21 14:15:20 UTC 2014

Modified Files:
        pkgsrc/lang/ocaml: distinfo
Added Files:
        pkgsrc/lang/ocaml/patches: patch-asmrun_arm.S

Log Message:
ARM assembler glue needs either Thumb or ARMv6 with emulation for one
Thumb instruction. Go with FreeBSD and use the latter.


To generate a diff of this commit:
cvs rdiff -u -r1.77 -r1.78 pkgsrc/lang/ocaml/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/ocaml/patches/patch-asmrun_arm.S

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.