Commits

Anonymous committed 5d70bbe

update 2013/07/05

Comments (0)

Files changed (68)

packages/alt-ergo.0.95.1/opam

 ]
 depends: [
   "ocamlfind"
-  "ocamlgraph" {= "1.8.2"}
+  "ocamlgraph" {>= "1.8.2"}
 ]
 depopts: [
   "lablgtk"

packages/cow.0.6.1/descr

+XML, JSON, HTML, CSS, and Markdown syntax and libraries

packages/cow.0.6.1/opam

+opam-version: "1"
+maintainer: "anil@recoil.org"
+build: [
+  [make "all"]
+  [make "install"]
+]
+remove: [
+  ["ocamlfind" "remove" "cow"]
+]
+depends: ["ocamlfind" "dyntype" {>= "0.9.0"} "type_conv" {>="108.07.00"} "ulex" "re" "ounit" "uri" "xmlm" {>="1.1.1"} ]

packages/cow.0.6.1/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/cow.0.6.1.tar.gz"
+checksum: "003c103f9c2d821f2ecdff9401a4927c"

packages/crypt.1.2/descr

+Tiny binding for the unix crypt function

packages/crypt.1.2/opam

+opam-version: "1"
+maintainer: "vb@luminar.eu.org"
+build: [
+  [make]
+  [make "install"]
+]
+remove: [
+  [make "uninstall"]
+]
+depends: ["ocamlfind" "ocaml-makefile"]

packages/crypt.1.2/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/crypt.1.2.tar.gz"
+checksum: "f61bb96917ca56f4263f1f76dfa71227"

packages/frama-c.20111001/descr

+Platform dedicated to the static analysis of source code written in C
+Frama-C is a suite of tools dedicated to the analysis of the source
+code of software written in C. Nitrogen version.
+
+Frama-C gathers several static analysis techniques in a single
+collaborative framework. The collaborative approach of Frama-C allows
+static analyzers to build upon the results already computed by other
+analyzers in the framework. Thanks to this approach, Frama-C provides
+sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.20111001/files/frama-c.install

+bin: [
+  "bin/ptests.byte"
+  "bin/toplevel.byte" {"frama-c.byte"}
+  "bin/toplevel.opt" {"frama-c"}
+]

packages/frama-c.20111001/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
+  [make]
+  [make "install"]
+]
+depends: ["ocamlgraph" {= "1.8.2"} "lablgtk"]
+ocaml-version: [= "3.12.1"]

packages/frama-c.20111001/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.20111001.tar.gz"
+checksum: "09bf25ed3d1b54e2d523166aa4499edd"

packages/frama-c.20120901/descr

+Platform dedicated to the static analysis of source code written in C
+Frama-C is a suite of tools dedicated to the analysis of the source
+code of software written in C. Oxygen version.
+
+Frama-C gathers several static analysis techniques in a single
+collaborative framework. The collaborative approach of Frama-C allows
+static analyzers to build upon the results already computed by other
+analyzers in the framework. Thanks to this approach, Frama-C provides
+sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.20120901/files/frama-c.install

+bin: [
+  "bin/ptests.byte"
+  "bin/toplevel.byte" {"frama-c.byte"}
+  "bin/toplevel.opt" {"frama-c"}
+]

packages/frama-c.20120901/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
+  [make]
+  [make "install"]
+]
+depends: ["ocamlgraph" {>= "1.8.2"} "lablgtk"]

packages/frama-c.20120901/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.20120901.tar.gz"
+checksum: "f8f22501761fc67fcac5daceac82bb31"

packages/frama-c.20130501/descr

+Platform dedicated to the static analysis of source code written in C
+Frama-C is a suite of tools dedicated to the analysis of the source
+code of software written in C.
+
+Frama-C gathers several static analysis techniques in a single
+collaborative framework. The collaborative approach of Frama-C allows
+static analyzers to build upon the results already computed by other
+analyzers in the framework. Thanks to this approach, Frama-C provides
+sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.20130501/files/frama-c.install

+bin: [
+  "bin/ptests.byte"
+  "bin/toplevel.byte" {"frama-c.byte"}
+  "bin/toplevel.opt" {"frama-c"}
+  "bin/viewer.byte" {"frama-c-gui.byte"}
+  "bin/viewer.opt" { "frama-c-gui" }
+]

packages/frama-c.20130501/opam

+opam-version: "1"
+maintainer: "virgile.prevosto@m4x.org"
+build: [
+  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
+  [make]
+  [make "install"]
+]
+depends: ["ocamlgraph" {>= "1.8.2"} "lablgtk"]

packages/frama-c.20130501/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.20130501.tar.gz"
+checksum: "47a4c649f0b8c0f87006316054522688"

packages/frama-c.20130601/descr

+Platform dedicated to the static analysis of source code written in C
+Frama-C is a suite of tools dedicated to the analysis of the source
+code of software written in C. Fluorine version.
+
+Frama-C gathers several static analysis techniques in a single
+collaborative framework. The collaborative approach of Frama-C allows
+static analyzers to build upon the results already computed by other
+analyzers in the framework. Thanks to this approach, Frama-C provides
+sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.20130601/files/frama-c.install

+bin: [
+  "bin/ptests.byte"
+  "bin/toplevel.byte" {"frama-c.byte"}
+  "bin/toplevel.opt" {"frama-c"}
+]

packages/frama-c.20130601/opam

+opam-version: "1"
+maintainer: "francois.bobot@cea.fr"
+
+homepage: "http://frama-c.com/"
+doc: "http://frama-c.com/download/user-manual-Fluorine-20130601.pdf"
+
+authors: [
+          "Patrick Baudin"
+          "François Bobot"
+          "Richard Bonichon"
+          "Loïc Correnson"
+          "Pascal Cuoq"
+          "Zaynah Dargaye"
+          "Jean-Christophe Filliâtre"
+          "Philippe Herrmann"
+          "Florent Kirchner"
+          "Matthieu Lemerre"
+          "Claude Marché"
+          "Benjamin Monate"
+          "Yannick Moy"
+          "Anne Pacalet"
+          "Virgile Prévosto"
+          "Julien Signoles"
+          "Boris Yakobowski"
+         ]
+
+license: "GNU Lesser General Public License version 2.1"
+
+tags: ["deductive" "program verification" "formal specification"
+       "automated theorem prover" "interactive theorem prover" "C"
+       "plugins" "abstract interpretation" "slicing"
+        "weakest precondition" "ACSL" "dataflow analysis"]
+
+
+build: [
+  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
+  [make]
+  [make "install"]
+]
+depends: ["ocamlgraph" {>= "1.8.3"} "lablgtk"]
+
+depopts: [ "why3" {>= "0.81"} ]

packages/frama-c.20130601/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.20130601.tar.gz"
+checksum: "69eed6b3f649725bf03d8500aaeb20a5"

packages/frama-c.Fluorine-20130501/descr

-Platform dedicated to the static analysis of source code written in C
-Frama-C is a suite of tools dedicated to the analysis of the source
-code of software written in C.
-
-Frama-C gathers several static analysis techniques in a single
-collaborative framework. The collaborative approach of Frama-C allows
-static analyzers to build upon the results already computed by other
-analyzers in the framework. Thanks to this approach, Frama-C provides
-sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.Fluorine-20130501/files/frama-c.install

-bin: [
-  "bin/ptests.byte"
-  "bin/toplevel.byte" {"frama-c.byte"}
-  "bin/toplevel.opt" {"frama-c"}
-  "bin/viewer.byte" {"frama-c-gui.byte"}
-  "bin/viewer.opt" { "frama-c-gui" }
-]

packages/frama-c.Fluorine-20130501/opam

-opam-version: "1"
-maintainer: "virgile.prevosto@m4x.org"
-build: [
-  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
-  [make]
-  [make "install"]
-]
-depends: ["ocamlgraph" {>= "1.8.2"} "lablgtk"]

packages/frama-c.Fluorine-20130501/url

-archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.Fluorine-20130501.tar.gz"
-checksum: "47a4c649f0b8c0f87006316054522688"

packages/frama-c.Nitrogen-20111001/descr

-Platform dedicated to the static analysis of source code written in C
-Frama-C is a suite of tools dedicated to the analysis of the source
-code of software written in C.
-
-Frama-C gathers several static analysis techniques in a single
-collaborative framework. The collaborative approach of Frama-C allows
-static analyzers to build upon the results already computed by other
-analyzers in the framework. Thanks to this approach, Frama-C provides
-sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.Nitrogen-20111001/files/frama-c.install

-bin: [
-  "bin/ptests.byte"
-  "bin/toplevel.byte" {"frama-c.byte"}
-  "bin/toplevel.opt" {"frama-c"}
-]

packages/frama-c.Nitrogen-20111001/opam

-opam-version: "1"
-maintainer: "contact@ocamlpro.com"
-build: [
-  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
-  [make]
-  [make "install"]
-]
-depends: ["ocamlgraph" {= "1.8.2"} "lablgtk"]
-ocaml-version: [= "3.12.1"]

packages/frama-c.Nitrogen-20111001/url

-archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.Nitrogen-20111001.tar.gz"
-checksum: "09bf25ed3d1b54e2d523166aa4499edd"

packages/frama-c.Oxygen-20120901/descr

-Platform dedicated to the static analysis of source code written in C
-Frama-C is a suite of tools dedicated to the analysis of the source
-code of software written in C.
-
-Frama-C gathers several static analysis techniques in a single
-collaborative framework. The collaborative approach of Frama-C allows
-static analyzers to build upon the results already computed by other
-analyzers in the framework. Thanks to this approach, Frama-C provides
-sophisticated tools, such as a slicer and dependency analysis.

packages/frama-c.Oxygen-20120901/files/frama-c.install

-bin: [
-  "bin/ptests.byte"
-  "bin/toplevel.byte" {"frama-c.byte"}
-  "bin/toplevel.opt" {"frama-c"}
-]

packages/frama-c.Oxygen-20120901/opam

-opam-version: "1"
-maintainer: "contact@ocamlpro.com"
-build: [
-  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/frama-c/sbin" "--libexecdir=%{lib}%/frama-c/libexec" "--sysconfdir=%{lib}%/frama-c/etc" "--sharedstatedir=%{lib}%/frama-c/com" "--localstatedir=%{lib}%/frama-c/var" "--libdir=%{lib}%/frama-c/lib" "--includedir=%{lib}%/frama-c/include" "--datarootdir=%{lib}%/frama-c/share"]
-  [make]
-  [make "install"]
-]
-depends: ["ocamlgraph" {>= "1.8.2"} "lablgtk"]

packages/frama-c.Oxygen-20120901/url

-archive: "http://ocaml_tan.bitbucket.org/opam-archive/frama-c.Oxygen-20120901.tar.gz"
-checksum: "f8f22501761fc67fcac5daceac82bb31"

packages/frenetic.1.0.1/descr

+The Frenetic Network Programming Language for SDN

packages/frenetic.1.0.1/opam

+opam-version: "1"
+maintainer: "arjun@cs.umass.edu"
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix "--enable-installexec"]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-install"]
+]
+remove: [
+  ["ocamlfind" "remove" "frenetic"]
+]
+depends: ["ocamlfind" "lwt" "cstruct" "packet" "openflow" "ounit"]

packages/frenetic.1.0.1/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/frenetic.1.0.1.tar.gz"
+checksum: "9bf15362576425a789599e08b17782ed"

packages/google-drive-ocamlfuse.0.3.4/descr

+A FUSE filesystem over Google Drive
+google-drive-ocamlfuse is a FUSE-based file system backed by Google
+Drive, written in OCaml.

packages/google-drive-ocamlfuse.0.3.4/files/google-drive-ocamlfuse.install

+bin: [
+  "?_build/src/gdfuse.byte" {"google-drive-ocamlfuse"}
+  "?_build/src/gdfuse.native" {"google-drive-ocamlfuse"}
+]

packages/google-drive-ocamlfuse.0.3.4/opam

+opam-version: "1"
+maintainer: "alessandro.strada@gmail.com"
+authors: [ "Alessandro Strada" ]
+license: "MIT"
+homepage: "http://gdfuse.forge.ocamlcore.org/"
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-install"]
+]
+depends: [
+  "camlidl"
+  "gapi-ocaml"
+  "ocamlfind"
+  "ocamlfuse"
+  "sqlite3-ocaml"
+]
+ocaml-version: [ >= "3.12.0" ]

packages/google-drive-ocamlfuse.0.3.4/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/google-drive-ocamlfuse.0.3.4.tar.gz"
+checksum: "13a9729d12ddf8d7d4473271d0d762c1"

packages/ocaml-markdown.0.1.1/descr

+Markdown processor for Ocsigen

packages/ocaml-markdown.0.1.1/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+  ["./configure" "--prefix" "%{prefix}%"]
+  [make]
+  [make "install"]
+]
+remove: [
+  ["ocamlfind" "remove" "markdown"]
+]
+depends: [
+  "ocamlfind"
+  "extlib" {= "1.5.3"}
+  "sexplib"
+  "ounit"
+  "tyxml"
+]

packages/ocaml-markdown.0.1.1/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/ocaml-markdown.0.1.1.tar.gz"
+checksum: "9884d41e3aa587676bff5183532c694c"

packages/ocamlgraph.1.8.3/descr

+A generic graph library for OCaml

packages/ocamlgraph.1.8.3/files/ocamlgraph.config.in

+library "graph" {
+  asmcomp:  [ "-I" "%{lib}%/ocamlgraph" ]
+  bytelink: [ "-I" "%{lib}%/ocamlgraph" ]  
+  asmlink:  [ "-I" "%{lib}%/ocamlgraph" "graph.cmxa" ]
+  bytelink: [ "-I" "%{lib}%/ocamlgraph" "graph.cma" ]
+}
+

packages/ocamlgraph.1.8.3/files/ocamlgraph.install

+lib: [
+  "graph.cma"
+  "graph.cmi"
+  "graph.cmxa"
+  "graph.a"
+]

packages/ocamlgraph.1.8.3/opam

+opam-version: "1"
+maintainer: "filliatr@lri.fr"
+
+authors: ["Sylvain Conchon"
+          "Jean-Christophe Filliâtre"
+          "Julien Signoles"]
+
+license: "GNU Library General Public License version 2.1"
+homepage: "http://ocamlgraph.lri.fr/"
+doc: "http://ocamlgraph.lri.fr/doc"
+
+tags: ["graph" "library" "algorithms" "directed graph" "vertice"
+       "edge" "persistent" "imperative"]
+
+substs: ["ocamlgraph.config"]
+build: [
+  ["./configure"]
+  [make]
+  [make "install-findlib"]
+]
+remove: [
+  ["ocamlfind" "remove" "ocamlgraph"]
+]
+depends: ["ocamlfind"]
+libraries: ["graph"]

packages/ocamlgraph.1.8.3/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/ocamlgraph.1.8.3.tar.gz"
+checksum: "ad2dc42f74c77dae9302c40cf2b5ff86"

packages/ocp-indent.1.3.0/descr

+A simple tool to indent OCaml programs
+Also includes bindings for popular editors.

packages/ocp-indent.1.3.0/opam

+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+license: "GPL"
+build: [
+  ["./configure" "--prefix" "%{prefix}%"]
+  [make]
+  [make "install"]
+]
+remove: [
+  ["./configure" "--prefix" "%{prefix}%"]
+  ["%{make}%" "uninstall"]
+]
+depends: [
+  "ocp-build" {>= "1.99.6-beta"}
+  "cmdliner"
+]
+homepage: "http://www.typerex.org/ocp-indent.html"

packages/ocp-indent.1.3.0/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/ocp-indent.1.3.0.tar.gz"
+checksum: "506c9f461b954d1df561c10588a50e85"

packages/ocsigenserver.2.2.0/files/use_netstring-pcre.patch

+diff -ur ocsigenserver.2.2.0/Makefile.options ocsigenserver.2.2.0-patched/Makefile.options
+--- ocsigenserver.2.2.0/Makefile.options	2012-12-08 00:17:09.000000000 +0900
++++ ocsigenserver.2.2.0-patched/Makefile.options	2013-07-03 21:29:47.000000000 +0900
+@@ -34,6 +34,7 @@
+ SERVER_PACKAGE := lwt.ssl           \
+ 	          ${LWT_EXTRA_PACKAGE} \
+ 	          netstring         \
++	          netstring-pcre    \
+                   findlib           \
+ 	          cryptokit         \
+ 		  tyxml             \
+diff -ur ocsigenserver.2.2.0/src/baselib/Makefile ocsigenserver.2.2.0-patched/src/baselib/Makefile
+--- ocsigenserver.2.2.0/src/baselib/Makefile	2012-12-08 00:17:09.000000000 +0900
++++ ocsigenserver.2.2.0-patched/src/baselib/Makefile	2013-07-03 21:25:11.000000000 +0900
+@@ -1,6 +1,6 @@
+ include ../../Makefile.config
+ 
+-LIBS     := -package lwt.unix,netstring,cryptokit,findlib,tyxml,lwt.syntax,${LWT_EXTRA_PACKAGE}
++LIBS     := -package lwt.unix,netstring,netstring-pcre,cryptokit,findlib,tyxml,lwt.syntax,${LWT_EXTRA_PACKAGE}
+ OCAMLC   := $(OCAMLFIND) ocamlc${BYTEDBG} ${THREAD}
+ OCAMLOPT := $(OCAMLFIND) ocamlopt ${OPTDBG} ${THREAD}
+ OCAMLDOC := $(OCAMLFIND) ocamldoc
+diff -ur ocsigenserver.2.2.0/src/extensions/Makefile ocsigenserver.2.2.0-patched/src/extensions/Makefile
+--- ocsigenserver.2.2.0/src/extensions/Makefile	2012-12-08 00:17:09.000000000 +0900
++++ ocsigenserver.2.2.0-patched/src/extensions/Makefile	2013-07-03 21:32:06.000000000 +0900
+@@ -4,6 +4,7 @@
+ 	    lwt.ssl      \
+ 	    lwt.react    \
+             netstring    \
++            netstring-pcre \
+ 	    tyxml.parser \
+ 
+ LIBS     := -I ../baselib -I ../http -I ../server ${addprefix -package ,${PACKAGE}}
+diff -ur ocsigenserver.2.2.0/src/http/Makefile ocsigenserver.2.2.0-patched/src/http/Makefile
+--- ocsigenserver.2.2.0/src/http/Makefile	2012-12-08 00:17:09.000000000 +0900
++++ ocsigenserver.2.2.0-patched/src/http/Makefile	2013-07-03 21:25:19.000000000 +0900
+@@ -1,6 +1,6 @@
+ include ../../Makefile.config
+ 
+-LIBS     := -package netstring,lwt.ssl,tyxml -I ../baselib
++LIBS     := -package netstring,netstring-pcre,lwt.ssl,tyxml -I ../baselib
+ OCAMLC   := $(OCAMLFIND) ocamlc${BYTEDBG}
+ OCAMLOPT := $(OCAMLFIND) ocamlopt ${OPTDBG}
+ OCAMLDOC := $(OCAMLFIND) ocamldoc

packages/ocsigenserver.2.2.0/opam

 depopts: [
   "camlzip" {>= "1.04"}
 ]
+patches: [
+  "use_netstring-pcre.patch"
+]

packages/riakc.2.0.0/descr

+Protobuf based Riak client

packages/riakc.2.0.0/opam

+opam-version: "1"
+maintainer: "mmatalka@gmail.com"
+build: [
+  [make]
+  [make "install"]
+]
+remove: [
+  ["ocamlfind" "remove" "riakc"]
+]
+depends: ["ocamlfind" "core" {>= "109.12.00" } "async" "protobuf"]

packages/riakc.2.0.0/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/riakc.2.0.0.tar.gz"
+checksum: "49d0325faf9195abefd5081a65f5ca33"

packages/spotlib_js.2.2.0_js/opam

 ]
 ocaml-version: [>= "4.0.1"]
 depends: ["ocamlfind" "omake"]
+os: ["linux"]

packages/tyxml.2.2.0/files/rm_netstring_pcre.patch

+diff -u -r tyxml-2.2.0.orig/files/META.in tyxml-2.2.0/files/META.in
+--- tyxml-2.2.0.orig/files/META.in	2012-12-07 16:15:22.000000000 +0100
++++ tyxml-2.2.0/files/META.in	2013-07-03 00:30:43.705255131 +0200
+@@ -2,7 +2,7 @@
+ 
+ description = "XHTML and HTML5 pages typed with polymorphic variants"
+ version = "dev"
+-requires = "netstring"
++requires = "netstring pcre"
+ archive(byte) = "_LIBNAME_.cma"
+ archive(native) = "_LIBNAME_.cmxa"
+ 
+@@ -38,4 +38,4 @@
+     version = "(distributed with _PACKAGENAME_)"
+     archive(byte) = "_LIBNAME__duce.cma"
+     archive(native) = "_LIBNAME__duce.cmxa"
+-)
+\ No newline at end of file
++)
+diff -u -r tyxml-2.2.0.orig/lib/Makefile tyxml-2.2.0/lib/Makefile
+--- tyxml-2.2.0.orig/lib/Makefile	2012-12-07 16:15:22.000000000 +0100
++++ tyxml-2.2.0/lib/Makefile	2013-07-03 00:31:01.395255118 +0200
+@@ -13,7 +13,7 @@
+ 
+ DUCE_FILES := xml_print_duce.ml xhtml_duce.ml
+ 
+-LIBS     := -package netstring
++LIBS     := -package netstring -package pcre
+ 
+ # SYNTAX := -ppopt ../syntax/pa_include.cmo -package camlp4 -syntax camlp4o
+ 
+diff -u -r tyxml-2.2.0.orig/lib/xml.ml tyxml-2.2.0/lib/xml.ml
+--- tyxml-2.2.0.orig/lib/xml.ml	2012-12-07 16:15:22.000000000 +0100
++++ tyxml-2.2.0/lib/xml.ml	2013-07-03 00:23:21.658588803 +0200
+@@ -83,8 +83,7 @@
+      (as this string is to be considered as the end of the cdata)
+   *)
+     let s' = "\n<![CDATA[\n"^
+-      (Netstring_pcre.global_replace
+-	 (Netstring_pcre.regexp_string "]]>") "" s)
++      (Pcre.replace ~rex:(Pcre.regexp(Pcre.quote "]]>")) s)
+       ^"\n]]>\n" in
+     encodedpcdata s'
+ 
+@@ -93,8 +92,7 @@
+      (as this string is to be considered as the end of the cdata)
+   *)
+     let s' = "\n//<![CDATA[\n"^
+-      (Netstring_pcre.global_replace
+-	 (Netstring_pcre.regexp_string "]]>") "" s)
++      (Pcre.replace ~rex:(Pcre.regexp(Pcre.quote "]]>")) s)
+       ^"\n//]]>\n" in
+     encodedpcdata s'
+ 
+@@ -103,8 +101,7 @@
+      (as this string is to be considered as the end of the cdata)
+   *)
+     let s' = "\n/* <![CDATA[ */\n"^
+-      (Netstring_pcre.global_replace
+-	 (Netstring_pcre.regexp_string "]]>") "" s)
++      (Pcre.replace ~rex:(Pcre.regexp (Pcre.quote "]]>")) s)
+       ^"\n/* ]]> */\n" in
+     encodedpcdata s'
+ 

packages/tyxml.2.2.0/opam

 ]
 depends: [
   "ocamlfind"
-  "ocamlnet" {= "3.6.0"}
+  "ocamlnet" {>= "3.6.0"}
   "pcre-ocaml"
 ]
+patches: ["rm_netstring_pcre.patch"]

packages/why.2.32/opam

   "ocamlgraph" {= "1.8.2"}
   "why3" {= "0.81"}
   "coq" {>= "8.4pl1"}
-  "frama-c" {= "Oxygen-20120901"}
+  "frama-c" {= "20120901"}
   "alt-ergo" {>= "0.95"}
 ]
 patches: ["opam.patch" "warn-error.patch"]

packages/why.2.33/descr

+Why is a software verification platform.
+
+Why is not any longer under active development. Our efforts have moved
+to the development of Why3.
+
+Why is still maintained, in particular to provide the Jessie plug-in
+of Frama-C and the Krakatoa front-end for Java.
+

packages/why.2.33/files/configure.Fluorine-version

+diff -u why-2.33/configure why-2.33.new/configure
+--- why-2.33/configure	   2013-04-20 08:34:04.000000000 +0200
++++ why-2.33.new/configure 2013-07-01 11:07:39.870593285 +0200
+@@ -2581,10 +2581,11 @@
+       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $FRAMACVERSION" >&5
+ $as_echo "$FRAMACVERSION" >&6; }
+       case $FRAMACVERSION in
+-        Fluorine-20130401)
++        Fluorine-20130401|Fluorine-20130501|Fluorine-20130601)
+            FRAMAC=yes
+            ;;
+-        *) FRAMACMSG="you need Frama-C version Fluorine-20130401"
++        *) FRAMACMSG="you need Frama-C version Fluorine-2013(04|05|06)01"
++           exit 1 #For the opam package framac is required
+            FRAMAC=no
+            { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $FRAMACMSG" >&5
+ $as_echo "$as_me: WARNING: $FRAMACMSG" >&2;}
+diff -u why-2.33/configure.in why-2.33.new/configure.in
+--- why-2.33/configure.in	2013-04-20 08:34:04.000000000 +0200
++++ why-2.33.new/configure.in	2013-07-01 11:06:57.986592790 +0200
+@@ -300,10 +300,11 @@
+       FRAMACVERSION=`$FRAMAC -version | sed -n -e 's|Version: *\(.*\)$|\1|p' `
+       AC_MSG_RESULT($FRAMACVERSION)
+       case $FRAMACVERSION in
+-        Fluorine-20130401) 
++        Fluorine-20130401|Fluorine-20130501|Fluorine-20130601)
+            FRAMAC=yes
+            ;;
+-        *) FRAMACMSG="you need Frama-C version Fluorine-20130401"
++        *) FRAMACMSG="you need Frama-C version Fluorine-2013(04|05|06)01"
++           exit 1 #For the opam package framac is required
+            FRAMAC=no
+            AC_MSG_WARN($FRAMACMSG)
+            ;;

packages/why.2.33/files/opam.patch.in

+diff -ru /tmp/opam-12040-1071/why.2.31/configure.in /tmp/opam-12040-1607/why.2.31/configure.in
+--- /tmp/opam-12040-1071/why.2.31/configure.in	2012-07-19 20:33:10.000000000 +0200
++++ /tmp/opam-12040-1607/why.2.31/configure.in	2012-10-05 18:15:13.738308197 +0200
+@@ -105,7 +105,7 @@
+ 
+ # Ocaml library path
+ # old way: OCAMLLIB=`$OCAMLC -v | tail -1 | cut -f 4 -d ' ' | tr -d '\\r'`
+-OCAMLLIB=`$OCAMLC -where | tr -d '\\r'`
++OCAMLLIB=%{lib}% #`$OCAMLC -where | tr -d '\\r'`
+ echo "ocaml library path is $OCAMLLIB"
+ 
+ 
+@@ -236,7 +236,7 @@
+       LOCALOCAMLGRAPH=yes
+     fi
+  else
+-    OCAMLGRAPHLIB="-I +ocamlgraph"
++    OCAMLGRAPHLIB="-I %{lib}%/ocamlgraph"
+     OCAMLGRAPHVER=" in Ocaml lib, subdir ocamlgraph"
+  fi
+ 
+@@ -255,7 +255,7 @@
+ AC_CHECK_FILE($OCAMLLIB/lablgtk2/lablgtk.cma,LABLGTK2=yes,LABLGTK2=no)
+ # AC_CHECK_PROG(LABLGTK2,lablgtk2,yes,no) not always available (Win32)
+ if test "$LABLGTK2" = yes ; then
+-      INCLUDEGTK2="-I +lablgtk2"
++      INCLUDEGTK2="-I %{lib}%/lablgtk2"
+ fi
+ 
+ AC_CHECK_PROG(OCAMLWEB,ocamlweb,ocamlweb,true)

packages/why.2.33/files/warn-error.patch

+--- Makefile.in.orig	2013-02-14 13:58:30.984219962 +0000
++++ Makefile.in	2013-02-14 13:58:40.380219678 +0000
+@@ -64,8 +64,8 @@
+ CAMLP4   = @CAMLP4O@
+ 
+ INCLUDES = -I src -I jc -I c -I java -I intf -I tools -I mix -I ml
+-BFLAGS   = -w Z -warn-error A -dtypes -g $(INCLUDES) @INCLUDEGTK2@ -I +threads @OCAMLGRAPHLIB@
+-OFLAGS   = -w Z -warn-error A -dtypes $(INCLUDES) @INCLUDEGTK2@ -I +threads @OCAMLGRAPHLIB@
++BFLAGS   = -w Z -dtypes -g $(INCLUDES) @INCLUDEGTK2@ -I +threads @OCAMLGRAPHLIB@
++OFLAGS   = -w Z -dtypes $(INCLUDES) @INCLUDEGTK2@ -I +threads @OCAMLGRAPHLIB@
+ 
+ LCFLAGS = -L/usr/lib -L/usr/local/lib/ocaml
+ 

packages/why.2.33/opam

+opam-version: "1"
+maintainer: "Claude.Marche@inria.fr"
+
+homepage: "http://krakatoa.lri.fr/"
+doc: "http://krakatoa.lri.fr/#jessie"
+
+authors: ["Jean-Christophe Filliâtre"
+          "Claude Marché"
+          "Yannick Moy"
+          "Romain Bardou"]
+
+license: "GNU Lesser General Public License version 2.1"
+
+tags: ["deductive" "program verification" "specification" "automated theorem prover" "interactive theorem prover" "Java" "JML" "C" "ACSL"]
+
+
+substs: ["opam.patch"]
+build: [
+  ["autoconf"]
+  ["./configure" "--enable-verbosemake" "OCAMLGRAPHLIB=%{lib}%/ocamlgraph" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/why/sbin" "--libexecdir=%{lib}%/why/libexec" "--sysconfdir=%{lib}%/why/etc" "--sharedstatedir=%{lib}%/why/com" "--localstatedir=%{lib}%/why/var" "--libdir=%{lib}%/why/lib" "--includedir=%{lib}%/why/include" "--datarootdir=%{lib}%/why/share"]
+  [make]
+  [make "install"]
+]
+depends: [
+  "lablgtk"
+  "ocamlgraph" {>= "1.8.2"}
+  "why3" {= "0.81"}
+  "coq" {>= "8.4pl1"}
+  "frama-c" {>= "20130401" & <= "20130601"}
+  "alt-ergo" {>= "0.95"}
+]
+patches: ["opam.patch" "warn-error.patch" "configure.Fluorine-version"]
+

packages/why.2.33/url

+archive: "http://ocaml_tan.bitbucket.org/opam-archive/why.2.33.tar.gz"
+checksum: "25ad0493e0cd112f3fe5858aa605344a"