pyrox.dev
lol
1{ lib, stdenv, fetchFromGitHub, omake, ocaml, flex, bison }:
2
3stdenv.mkDerivation rec {
4 pname = "teyjus";
5 version = "2.1";
6
7 src = fetchFromGitHub {
8 owner = "teyjus";
9 repo = "teyjus";
10 rev = "v${version}";
11 sha256 = "sha256-nz7jZ+GdF6mZQPzBrVD9K/RtoeuVRuhfs7vej4zDkhg=";
12 };
13
14 patches = [ ./fix-lex-to-flex.patch ];
15
16 buildInputs = [ omake ocaml flex bison ];
17
18 hardeningDisable = [ "format" ];
19
20 buildPhase = "omake all";
21
22 checkPhase = "omake check";
23
24 installPhase = "mkdir -p $out/bin && cp tj* $out/bin";
25
26 meta = with lib; {
27 description = "An efficient implementation of the Lambda Prolog language";
28 homepage = "https://github.com/teyjus/teyjus";
29 license = lib.licenses.gpl3;
30 maintainers = [ maintainers.bcdarwin ];
31 platforms = platforms.linux;
32 };
33}