diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-06-01 21:29:53 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-01 21:29:53 +0200 |
| commit | 33a418e2e6abe489c45d282a0d1d250ff08f8ac7 (patch) | |
| tree | 48a0b0ebd073e964d560c8a96047c80ecbdb177f /pkgs/development/tools/ocaml/opaline | |
| parent | 61cec46f78194bf7063b034029b4d1f6760bdca5 (diff) | |
| download | nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar.gz nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar.bz2 nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar.lz nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar.xz nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.tar.zst nixpkgs-33a418e2e6abe489c45d282a0d1d250ff08f8ac7.zip | |
opaline: init at 0.3.1 (#41346)
Opaline is a lightweight replacement for opam-installer. Homepage: https://github.com/jaapb/opaline
Diffstat (limited to 'pkgs/development/tools/ocaml/opaline')
| -rw-r--r-- | pkgs/development/tools/ocaml/opaline/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/tools/ocaml/opaline/default.nix b/pkgs/development/tools/ocaml/opaline/default.nix new file mode 100644 index 00000000000..10088cce491 --- /dev/null +++ b/pkgs/development/tools/ocaml/opaline/default.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchFromGitHub, ocamlPackages }: + +stdenv.mkDerivation rec { + version = "0.3.1"; + name = "opaline-${version}"; + + src = fetchFromGitHub { + owner = "jaapb"; + repo = "opaline"; + rev = "v${version}"; + sha256 = "0vd5xaf272hk4iqfj347jvbppy7my5p5gz8yqpkvl1d1i6lzh08v"; + }; + + buildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild opam-file-format ]; + + preInstall = "mkdir -p $out/bin"; + + installFlags = [ "PREFIX=$(out)" ]; + + meta = { + description = "OPAm Light INstaller Engine"; + license = stdenv.lib.licenses.mit; + maintainers = [ stdenv.lib.maintainers.vbgl ]; + inherit (src.meta) homepage; + inherit (ocamlPackages.ocaml.meta) platforms; + }; +} |