2021-12-19 01:06:50 +00:00
|
|
|
{ stdenv
|
|
|
|
, lib
|
|
|
|
, fetchFromGitHub
|
|
|
|
, which
|
|
|
|
, ocsigen_server
|
|
|
|
, ocaml
|
|
|
|
, lwt_react
|
|
|
|
, opaline
|
|
|
|
, ppx_deriving
|
|
|
|
, findlib
|
|
|
|
, js_of_ocaml-ocamlbuild
|
|
|
|
, js_of_ocaml-ppx
|
|
|
|
, js_of_ocaml-ppx_deriving_json
|
2020-04-24 23:36:52 +00:00
|
|
|
, js_of_ocaml-lwt
|
|
|
|
, js_of_ocaml-tyxml
|
|
|
|
, lwt_ppx
|
2021-08-08 23:34:03 +00:00
|
|
|
, ocamlnet
|
2020-04-24 23:36:52 +00:00
|
|
|
}:
|
|
|
|
|
2021-12-19 01:06:50 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2020-04-24 23:36:52 +00:00
|
|
|
pname = "eliom";
|
2021-12-06 16:07:01 +00:00
|
|
|
version = "8.9.0";
|
2020-04-24 23:36:52 +00:00
|
|
|
|
2021-12-19 01:06:50 +00:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "ocsigen";
|
|
|
|
repo = "eliom";
|
|
|
|
rev = version;
|
|
|
|
sha256 = "sha256-VNxzpVpXEGlixyjadbW0GjL83jcKV5TWd46UReNYO6w=";
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
|
|
|
|
2021-12-19 01:06:50 +00:00
|
|
|
buildInputs = [
|
|
|
|
ocaml
|
|
|
|
which
|
|
|
|
findlib
|
|
|
|
js_of_ocaml-ocamlbuild
|
|
|
|
js_of_ocaml-ppx_deriving_json
|
|
|
|
opaline
|
2021-08-08 23:34:03 +00:00
|
|
|
ocamlnet
|
2020-04-24 23:36:52 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
js_of_ocaml-lwt
|
|
|
|
js_of_ocaml-ppx
|
|
|
|
js_of_ocaml-tyxml
|
|
|
|
lwt_ppx
|
|
|
|
lwt_react
|
|
|
|
ocsigen_server
|
|
|
|
ppx_deriving
|
|
|
|
];
|
|
|
|
|
|
|
|
installPhase = "opaline -prefix $out -libdir $OCAMLFIND_DESTDIR";
|
|
|
|
|
|
|
|
setupHook = [ ./setup-hook.sh ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = "http://ocsigen.org/eliom/";
|
|
|
|
description = "OCaml Framework for programming Web sites and client/server Web applications";
|
|
|
|
|
2021-12-19 01:06:50 +00:00
|
|
|
longDescription = ''Eliom is a framework for programming Web sites
|
2020-04-24 23:36:52 +00:00
|
|
|
and client/server Web applications. It introduces new concepts to
|
|
|
|
simplify programming common behaviours and uses advanced static
|
|
|
|
typing features of OCaml to check many properties of the Web site
|
|
|
|
at compile time. If you want to write a Web application, Eliom
|
|
|
|
makes possible to write the whole application as a single program
|
|
|
|
(client and server parts). A syntax extension is used to
|
|
|
|
distinguish both parts and the client side is compiled to JS using
|
|
|
|
Ocsigen Js_of_ocaml.'';
|
|
|
|
|
2021-01-15 22:18:51 +00:00
|
|
|
license = lib.licenses.lgpl21;
|
2020-04-24 23:36:52 +00:00
|
|
|
|
2021-01-15 22:18:51 +00:00
|
|
|
maintainers = [ lib.maintainers.gal_bolle ];
|
2020-04-24 23:36:52 +00:00
|
|
|
};
|
|
|
|
}
|