pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/misc/dose3 Added OCaml 4.06 support to misc/dose3 (and...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/3cafd5347e6a
branches:  trunk
changeset: 373874:3cafd5347e6a
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Wed Jan 10 16:31:34 2018 +0000

description:
Added OCaml 4.06 support to misc/dose3 (and revbump).

diffstat:

 misc/dose3/Makefile                                |   4 +-
 misc/dose3/buildlink3.mk                           |   4 +-
 misc/dose3/distinfo                                |   3 +-
 misc/dose3/patches/patch-common_criteria_lexer.mll |  27 ++++++++++++++++++++++
 4 files changed, 33 insertions(+), 5 deletions(-)

diffs (76 lines):

diff -r 5e0ac7f4c1f0 -r 3cafd5347e6a misc/dose3/Makefile
--- a/misc/dose3/Makefile       Wed Jan 10 16:30:40 2018 +0000
+++ b/misc/dose3/Makefile       Wed Jan 10 16:31:34 2018 +0000
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.12 2017/09/08 09:51:24 jaapb Exp $
+# $NetBSD: Makefile,v 1.13 2018/01/10 16:31:34 jaapb Exp $
 
 DISTNAME=      dose3-5.0.1
-PKGREVISION=   1
+PKGREVISION=   2
 CATEGORIES=    misc
 MASTER_SITES=  https://gforge.inria.fr/frs/download.php/file/36063/
 
diff -r 5e0ac7f4c1f0 -r 3cafd5347e6a misc/dose3/buildlink3.mk
--- a/misc/dose3/buildlink3.mk  Wed Jan 10 16:30:40 2018 +0000
+++ b/misc/dose3/buildlink3.mk  Wed Jan 10 16:31:34 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.4 2017/07/11 10:32:28 jaapb Exp $
+# $NetBSD: buildlink3.mk,v 1.5 2018/01/10 16:31:34 jaapb Exp $
 
 BUILDLINK_TREE+=       dose3
 
@@ -6,7 +6,7 @@
 DOSE3_BUILDLINK3_MK:=
 
 BUILDLINK_API_DEPENDS.dose3+=  dose3>=5.0rc2
-BUILDLINK_API_DEPENDS.dose3+=  dose3>=5.0.1
+BUILDLINK_API_DEPENDS.dose3+=  dose3>=5.0.1nb2
 BUILDLINK_PKGSRCDIR.dose3?=    ../../misc/dose3
 
 .include "../../devel/ocaml-extlib/buildlink3.mk"
diff -r 5e0ac7f4c1f0 -r 3cafd5347e6a misc/dose3/distinfo
--- a/misc/dose3/distinfo       Wed Jan 10 16:30:40 2018 +0000
+++ b/misc/dose3/distinfo       Wed Jan 10 16:31:34 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: distinfo,v 1.4 2017/07/11 10:32:28 jaapb Exp $
+$NetBSD: distinfo,v 1.5 2018/01/10 16:31:34 jaapb Exp $
 
 SHA1 (dose3-5.0.1.tar.gz) = c2ed5c1b1f389d4e7cc58fbb01ca04c80df81a66
 RMD160 (dose3-5.0.1.tar.gz) = 5e006235243a9bf6009ae8de4368d21c16b79413
@@ -6,3 +6,4 @@
 Size (dose3-5.0.1.tar.gz) = 297433 bytes
 SHA1 (patch-Makefile) = 1be9791f9d225d8adf81c309fd4c0aac1a6078ef
 SHA1 (patch-Makefile.config.in) = cae3219764b2f9ba75ae8bdd3d79d9e2e71c7234
+SHA1 (patch-common_criteria_lexer.mll) = e13ee091f509197332e79f5786b615bd009615a2
diff -r 5e0ac7f4c1f0 -r 3cafd5347e6a misc/dose3/patches/patch-common_criteria_lexer.mll
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/dose3/patches/patch-common_criteria_lexer.mll        Wed Jan 10 16:31:34 2018 +0000
@@ -0,0 +1,27 @@
+$NetBSD: patch-common_criteria_lexer.mll,v 1.1 2018/01/10 16:31:34 jaapb Exp $
+
+Compatibility updates for safe-string (and ocaml 4.06)
+--- common/criteria_lexer.mll.orig     2016-07-20 11:45:05.000000000 +0000
++++ common/criteria_lexer.mll
+@@ -18,7 +18,7 @@
+     let c = Lexing.lexeme_char lexbuf 2 in (* the delimiter can be any character *)
+     (* find the terminating delimiter *)
+     let endpos =
+-      try String.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with
++      try Bytes.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 4) c with
+       |Invalid_argument _ ->
+           raise (Format822.Syntax_error (
+             Format822.error lexbuf "String too short"))
+@@ -27,9 +27,9 @@
+             Format822.error lexbuf (Printf.sprintf "cannot find: %c" c)))
+     in
+     let len = endpos - (lexbuf.lex_start_pos + 3) in
+-    let s = String.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in
+-    lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((String.length s)+4);
+-    s
++    let s = Bytes.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in
++    lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((Bytes.length s)+4);
++    Bytes.to_string s
+ 
+ }
+ 



Home | Main Index | Thread Index | Old Index