aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix')
-rw-r--r--nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix26
1 files changed, 15 insertions, 11 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix b/nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix
index 1c71f7fceb7..865c5448c5b 100644
--- a/nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix
+++ b/nixpkgs/pkgs/development/ocaml-modules/elpi/default.nix
@@ -1,21 +1,19 @@
-{ lib, fetchFromGitHub, buildDunePackage, camlp5
-, ppx_tools_versioned, ppx_deriving, re
+{ lib, fetchzip, buildDunePackage, camlp5
+, ppxlib, ppx_deriving, re, perl, ncurses
}:
buildDunePackage rec {
pname = "elpi";
- version = "1.10.2";
+ version = "1.11.4";
- src = fetchFromGitHub {
- owner = "LPCIC";
- repo = "elpi";
- rev = "v${version}";
- sha256 = "0w5z0pxyshqawq7w5rw3nqii49y88rizvwqf202pl11xqi14icsn";
- };
+ src = fetchzip {
+ url = "https://github.com/LPCIC/elpi/releases/download/v${version}/elpi-v${version}.tbz";
+ sha256 = "1hmjp2z52j17vwhhdkj45n9jx11jxkdg2dwa0n04yyw0qqy4m7c1";
+ };
minimumOCamlVersion = "4.04";
- buildInputs = [ ppx_tools_versioned ];
+ buildInputs = [ perl ncurses ppxlib ];
propagatedBuildInputs = [ camlp5 ppx_deriving re ];
@@ -23,6 +21,12 @@ buildDunePackage rec {
description = "Embeddable λProlog Interpreter";
license = lib.licenses.lgpl21Plus;
maintainers = [ lib.maintainers.vbgl ];
- inherit (src.meta) homepage;
+ homepage = "https://github.com/LPCIC/elpi";
};
+
+ postPatch = ''
+ substituteInPlace elpi_REPL.ml --replace "tput cols" "${ncurses}/bin/tput cols"
+ '';
+
+ useDune2 = true;
}