diff options
author | wiz <wiz> | 2010-06-15 08:26:54 +0000 |
---|---|---|
committer | wiz <wiz> | 2010-06-15 08:26:54 +0000 |
commit | f3cdaa712cbbc6d0cc9208684f2fdaa27627a333 (patch) | |
tree | df15b5a81f4fc4e2986ac191c2fe887cbfbd5de8 | |
parent | 78e1c78932eb3f5bbb1f1d0cf4f5c394369890ba (diff) | |
download | pkgsrc-f3cdaa712cbbc6d0cc9208684f2fdaa27627a333.tar.gz |
Fix build with latest ocaml. From Pascal Cuoq <pascal_cuoq@hotmail.com>
on pkgsrc-users.
-rw-r--r-- | devel/frama-c/distinfo | 3 | ||||
-rw-r--r-- | devel/frama-c/patches/patch-ab | 18 |
2 files changed, 20 insertions, 1 deletions
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo index 5f5a9611468..d70646ad260 100644 --- a/devel/frama-c/distinfo +++ b/devel/frama-c/distinfo @@ -1,6 +1,7 @@ -$NetBSD: distinfo,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $ +$NetBSD: distinfo,v 1.2 2010/06/15 08:26:54 wiz Exp $ SHA1 (frama-c-Beryllium-20090901.tar.gz) = 17b1516e9807a9a34ab20a3413efc372549e6fed RMD160 (frama-c-Beryllium-20090901.tar.gz) = b29038e948b898196947cae636eef9adbea99ed6 Size (frama-c-Beryllium-20090901.tar.gz) = 18162700 bytes SHA1 (patch-aa) = fbeccfdd1b90c1d72d954d4ea06309da5684f6a4 +SHA1 (patch-ab) = 3f59690f68cfe408cc5dc86adf4c2d66b361eca5 diff --git a/devel/frama-c/patches/patch-ab b/devel/frama-c/patches/patch-ab new file mode 100644 index 00000000000..5d378d00ffc --- /dev/null +++ b/devel/frama-c/patches/patch-ab @@ -0,0 +1,18 @@ +$NetBSD: patch-ab,v 1.1 2010/06/15 08:26:54 wiz Exp $ + +Fix known incompatibility introduced in a recent version of OCaml. +The following patch, taken from +http://old.nabble.com/Bug-569260:-FTBFS:-expression-was-expected-of-type-string--%3E-string--%3E-string-td27540744.html , +fixes it. + +--- ptests/ptests.ml.orig 2009-08-31 15:38:55.000000000 +0000 ++++ ptests/ptests.ml +@@ -54,7 +54,7 @@ module Filename = struct + fun a b -> let r = temp_file a b in + cygpath r + else +- temp_file ++ (fun x y -> temp_file x y) + end + + let default_env var value = |