2016-10-08 07:44:25 +01:00
|
|
|
{ stdenv, fetchurl, ocaml, findlib, ocamlbuild
|
2019-10-12 17:50:25 +01:00
|
|
|
, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20190626" else "20140422"
|
2015-11-11 11:24:42 +00:00
|
|
|
}@args:
|
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
|
|
|
|
|
|
|
|
let
|
2018-10-27 17:41:18 +01:00
|
|
|
src = fetchurl (
|
|
|
|
|
if version == "20140422" then { url = "http://cristal.inria.fr/~fpottier/menhir/menhir-20140422.tar.gz"; sha256 = "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d"; }
|
|
|
|
|
else if version == "20170712" then { url = "http://gallium.inria.fr/~fpottier/menhir/menhir-20170712.tar.gz"; sha256 = "006hq3bwj81j67f2k9cgzj5wr4hai8j36925p5n3sd2j01ljsj6a"; }
|
2018-11-14 15:38:48 +00:00
|
|
|
else if version == "20181113" then { url = "https://gitlab.inria.fr/fpottier/menhir/repository/20181113/archive.tar.gz"; sha256 = "0hl611l0gyl7b2bm7m0sk7vjz14m0i7znrnjq3gw58pylj934dx4"; }
|
2019-10-12 17:50:25 +01:00
|
|
|
else if version == "20190626" then { url = "https://gitlab.inria.fr/fpottier/menhir/repository/20190626/archive.tar.gz"; sha256 = "0nigjnskg89knyi2zj1w211mb1pvkrwfqpz9a0qbw80k3hm8gg0h"; }
|
2018-10-27 17:41:18 +01:00
|
|
|
else throw ("menhir: unknown version " ++ version)
|
|
|
|
|
);
|
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
|
|
|
in
|
|
|
|
|
|
2018-10-27 17:41:18 +01:00
|
|
|
import ./generic.nix (args // { inherit version src; })
|
