ocamlPackages.pgocaml: 2.3 -> 3.2
This commit is contained in:
parent
bdeae5c1ca
commit
a4d6a3f724
@ -1,21 +1,26 @@
|
|||||||
{ stdenv, fetchurl, buildOcaml, ocaml, calendar, csv, re }:
|
{ stdenv, fetchFromGitHub, ocaml, findlib, ocamlbuild, camlp4
|
||||||
|
, ppx_tools_versioned, result, rresult
|
||||||
|
, calendar, csv, hex, re
|
||||||
|
}:
|
||||||
|
|
||||||
if !stdenv.lib.versionAtLeast ocaml.version "4"
|
if !stdenv.lib.versionAtLeast ocaml.version "4.05"
|
||||||
then throw "pgocaml is not available for OCaml ${ocaml.version}"
|
then throw "pgocaml is not available for OCaml ${ocaml.version}"
|
||||||
else
|
else
|
||||||
|
|
||||||
buildOcaml {
|
stdenv.mkDerivation rec {
|
||||||
name = "pgocaml";
|
name = "ocaml${ocaml.version}-pgocaml-${version}";
|
||||||
version = "2.3";
|
version = "3.2";
|
||||||
src = fetchurl {
|
src = fetchFromGitHub {
|
||||||
url = https://github.com/darioteixeira/pgocaml/archive/v2.3.tar.gz;
|
owner = "darioteixeira";
|
||||||
sha256 = "18lymxlvcf4nwxawkidq3pilsp5rhl0l8ifq6pjk3ssjlx9w53pg";
|
repo = "pgocaml";
|
||||||
|
rev = "v${version}";
|
||||||
|
sha256 = "0jxzr5niv8kdh90pr57b1qb500zkkasxb8b8l7w9cydcfprnlk24";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ];
|
buildInputs = [ ocaml findlib ocamlbuild camlp4 ppx_tools_versioned result rresult ];
|
||||||
propagatedBuildInputs = [ calendar csv re ];
|
propagatedBuildInputs = [ calendar csv hex re ];
|
||||||
|
|
||||||
configureFlags = [ "--enable-p4" ];
|
configureFlags = [ "--enable-p4" "--enable-ppx" ];
|
||||||
|
|
||||||
createFindlibDestdir = true;
|
createFindlibDestdir = true;
|
||||||
|
|
||||||
@ -24,5 +29,6 @@ buildOcaml {
|
|||||||
homepage = http://pgocaml.forge.ocamlcore.org/;
|
homepage = http://pgocaml.forge.ocamlcore.org/;
|
||||||
license = licenses.lgpl2;
|
license = licenses.lgpl2;
|
||||||
maintainers = with maintainers; [ vbgl ];
|
maintainers = with maintainers; [ vbgl ];
|
||||||
|
inherit (ocaml.meta) platforms;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user