Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Nixify superbol-free for dev #380

Merged
merged 4 commits into from
Jan 22, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
407 changes: 407 additions & 0 deletions default.nix

Large diffs are not rendered by default.

22 changes: 22 additions & 0 deletions nix/default.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ sources ? import ./sources.nix } :

import sources.nixpkgs {
overlays = [
(_: pkgs: { inherit sources; })
(_: pkgs: {
ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14.overrideScope (self: super: {
ez_api = pkgs.callPackage ./ez_api.nix { };
ez_cmdliner = pkgs.callPackage ./ez_cmdliner.nix { };
ez_file = pkgs.callPackage ./ez_file.nix { };
ez_subst = pkgs.callPackage ./ez_subst.nix { };
json-data-encoding = pkgs.callPackage ./json-data-encoding.nix { };
lsp = pkgs.callPackage ./lsp.nix { };
menhir = pkgs.callPackage ./menhir.nix { };
menhirLib = pkgs.callPackage ./menhirLib.nix { };
menhirSdk = pkgs.callPackage ./menhirSdk.nix { };
ocplib_stuff = pkgs.callPackage ./ocplib_stuff.nix { };
ppx_deriving_encoding = pkgs.callPackage ./ppx_deriving_encoding.nix { };
});
})
];
}
24 changes: 24 additions & 0 deletions nix/ez_api.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ez_api";
inherit (sources.ez_api) version;

minimalOCamlVersion = "4.08";
duneVersion = "3";

src = sources.ez_api;

propagatedBuildInputs = with ocamlPackages; [
json-data-encoding
lwt
ezjsonm
uuidm
];

meta = with lib; {
inherit (sources.ez_api) homepage description;
};
}

23 changes: 23 additions & 0 deletions nix/ez_cmdliner.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ez_cmdliner";
inherit (sources.ez_cmdliner) version;

minimalOCamlVersion = "4.08";
duneVersion = "3";

src = sources.ez_cmdliner;

propagatedBuildInputs = with ocamlPackages; [
ocplib_stuff
ez_subst
cmdliner
];

meta = with lib; {
inherit (sources.ez_cmdliner) homepage description;
};
}

22 changes: 22 additions & 0 deletions nix/ez_file.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ez_file";
inherit (sources.ez_file) version;

minimalOCamlVersion = "4.07";
duneVersion = "3";

src = sources.ez_file;

propagatedBuildInputs = with ocamlPackages; [
re
ocplib_stuff
];

meta = with lib; {
inherit (sources.ez_file) homepage description;
};
}

20 changes: 20 additions & 0 deletions nix/ez_subst.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ez_subst";
inherit (sources.ez_subst) version;

minimalOCamlVersion = "4.08";
duneVersion = "3";

src = sources.ez_subst;

propagatedBuildInputs = with ocamlPackages; [
];

meta = with lib; {
inherit (sources.ez_subst) homepage description;
};
}

23 changes: 23 additions & 0 deletions nix/json-data-encoding.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "json-data-encoding";
inherit (sources.json-data-encoding) version;

minimalOCamlVersion = "4.10";
duneVersion = "3";

src = sources.json-data-encoding;

propagatedBuildInputs = with ocamlPackages; [
uri
hex
];

meta = with lib; {
inherit (sources.json-data-encoding) homepage description;
};
}


24 changes: 24 additions & 0 deletions nix/lsp.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "lsp";
inherit (sources.lsp) version;

minimalOCamlVersion = "4.14";
duneVersion = "3";

src = sources.lsp;

propagatedBuildInputs = with ocamlPackages; [
jsonrpc
ppx_yojson_conv_lib
uutf
yojson
];

meta = with lib; {
inherit (sources.lsp) homepage description;
};
}

22 changes: 22 additions & 0 deletions nix/menhir.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "menhir";
inherit (sources.menhir) version;

minimalOCamlVersion = "4.03";
duneVersion = "3";

src = sources.menhir;

propagatedBuildInputs = [
ocamlPackages.menhirSdk
ocamlPackages.menhirLib
];

meta = with lib; {
inherit (sources.menhir) homepage description;
};
}

22 changes: 22 additions & 0 deletions nix/menhirLib.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "menhirLib";
inherit (sources.menhirLib) version;

minimalOCamlVersion = "4.03";
duneVersion = "3";

src = sources.menhirLib;

propagatedBuildInputs = [
];

meta = with lib; {
inherit (sources.menhirLib) homepage description;
};
}



21 changes: 21 additions & 0 deletions nix/menhirSdk.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "menhirSdk";
inherit (sources.menhirSdk) version;

minimalOCamlVersion = "4.03";
duneVersion = "3";

src = sources.menhirSdk;

propagatedBuildInputs = [
];

meta = with lib; {
inherit (sources.menhirSdk) homepage description;
};
}


18 changes: 18 additions & 0 deletions nix/ocplib_stuff.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ocplib_stuff";
inherit (sources.ocplib_stuff) version;

minimalOCamlVersion = "4.07";
duneVersion = "3";

src = sources.ocplib_stuff;

propagatedBuildInputs = [ ];

meta = with lib; {
inherit (sources.ocplib_stuff) homepage description;
};
}
22 changes: 22 additions & 0 deletions nix/ppx_deriving_encoding.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
{ sources, lib, ocamlPackages }:

ocamlPackages.buildDunePackage {
strictDeps = true;
pname = "ppx_deriving_encoding";
inherit (sources.ppx_deriving_encoding) version;

minimalOCamlVersion = "4.08";
duneVersion = "3";

src = sources.ppx_deriving_encoding;

propagatedBuildInputs = with ocamlPackages; [
ppxlib
json-data-encoding
];

meta = with lib; {
inherit (sources.ppx_deriving_encoding) homepage description;
};
}

91 changes: 91 additions & 0 deletions nix/sources.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,91 @@
{
"ez_api": {
"sha256": "1zhc53rc361sz8xy3znmwwvsm35g5z3siyg2g8h0rpd5sm6rrsh3",
"type": "tarball",
"url": "https://github.com/ocamlpro/ez_api/archive/refs/tags/2.1.0.tar.gz",
"url_template": "https://github.com/ocamlpro/ez_api/archive/refs/tags/<version>.tar.gz",
"version": "2.1.0"
},
"ez_cmdliner": {
"sha256": "0ls7w2dbd7k1y718sfc987rbycycmy19mk9hp614zcjrrjn50llp",
"type": "tarball",
"url": "https://github.com/ocamlpro/ez_cmdliner/archive/v0.4.3.tar.gz",
"url_template": "https://github.com/ocamlpro/ez_cmdliner/archive/v<version>.tar.gz",
"version": "0.4.3"
},
"ez_file": {
"sha256": "1apk1id9s5ybn8z7p8vm2gff6qgcn4yn2f8z10306sjfzvfsfxql",
"type": "tarball",
"url": "https://github.com/ocamlpro/ez_file/archive/v0.3.0.tar.gz",
"url_template": "https://github.com/ocamlpro/ez_file/archive/v0.3.0.tar.gz",
"version": "0.3.0"
},
"ez_subst": {
"sha256": "0jxz5q6x95crhq0vcwxigbmkj69hgrhxmpvr82yqd2jbvksqfkvp",
"type": "tarball",
"url": "https://github.com/ocamlpro/ez_subst/archive/v0.2.1.tar.gz",
"url_template": "https://github.com/ocamlpro/ez_subst/archive/v<version>.tar.gz",
"version": "0.2.1"
},
"json-data-encoding": {
"sha256": "1pwx4dzfb0w7vz4lbm1ppq1lpzd1ss7v4r3ydnx2hdrdgv2ki01a",
"type": "tarball",
"url": "https://gitlab.com/nomadic-labs/data-encoding/-/archive/v1.0.1/data-encoding-v1.0.1.tar.gz",
"url_template": "https://gitlab.com/nomadic-labs/data-encoding/-/archive/v<version>/data-encoding-v<version>.tar.gz",
"version": "1.0.1"
},
"lsp": {
"sha256": "0qzpx6l03c27zx260wy28pqdn0xd2sfy7s8mspcddcb00vg0rzva",
"type": "tarball",
"url": "https://github.com/ocaml/ocaml-lsp/releases/download/1.18.0/lsp-1.18.0.tbz",
"url_template": "https://github.com/ocaml/ocaml-lsp/releases/download/<version>/lsp-<version>.tbz",
"version": "1.18.0"
},
"menhir": {
"sha256": "12a1zxbkipa2i0k7ay0frfzyibpdvh3hr0rcq18kgsp924wp9q5x",
"type": "tarball",
"url": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"url_template": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"version": "20231231"
},
"menhirLib": {
"sha256": "12a1zxbkipa2i0k7ay0frfzyibpdvh3hr0rcq18kgsp924wp9q5x",
"type": "tarball",
"url": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"url_template": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"version": "20231231"
},
"menhirSdk": {
"sha256": "12a1zxbkipa2i0k7ay0frfzyibpdvh3hr0rcq18kgsp924wp9q5x",
"type": "tarball",
"url": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"url_template": "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz",
"version": "20231231"
},
"nixpkgs": {
"branch": "master",
"description": "Nix Packages collection",
"homepage": null,
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "b4f480fea347cec3ac599d77986aa17a817bb591",
"sha256": "1dq2xg36n4yvihdl37rgs89bxi5imd4bl69g7lfpf2x663madyzd",
"type": "tarball",
"url": "https://github.com/NixOS/nixpkgs/archive/b4f480fea347cec3ac599d77986aa17a817bb591.tar.gz",
"url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
},
"ocplib_stuff": {
"sha256": "0fn5l9h01236v4ah94mx5l8z62lf5i5096q1frhqp43dkfq5sd3r",
"type": "tarball",
"url": "https://github.com/ocamlpro/ocplib_stuff/archive/v0.4.0.tar.gz",
"url_template": "https://github.com/ocamlpro/ocplib_stuff/archive/v0.4.0.tar.gz",
"version": "0.4.0"
},
"ppx_deriving_encoding": {
"sha256": "0inl5w1gl2zhpyzd9i9lqs112wyfqm5w1xvg3p4yw4syv6dsx8xc",
"type": "tarball",
"url": "https://gitlab.com/o-labs/ppx_deriving_encoding/-/archive/0.3.0/ppx_deriving_encoding-0.3.0.tar.gz",
"url_template": "https://gitlab.com/o-labs/ppx_deriving_encoding/-/archive/<version>/ppx_deriving_encoding-<version>.tar.gz",
"version": "0.3.0"
}
}
Loading
Loading