pyrox.dev
1{ lib, fetchFromGitHub, buildDunePackage, flex, bison }:
2
3buildDunePackage rec {
4 pname = "teyjus";
5 version = "2.1.1";
6
7 src = fetchFromGitHub {
8 owner = "teyjus";
9 repo = "teyjus";
10 rev = "refs/tags/v${version}";
11 hash = "sha256-N4XKDd0NFr501PYUdb7PM2sWh0uD1/SUFXoMr10f064=";
12 };
13
14 strictDeps = true;
15
16 nativeBuildInputs = [ flex bison ];
17
18 hardeningDisable = [ "format" ];
19
20 doCheck = true;
21
22 meta = with lib; {
23 description = "An efficient implementation of the Lambda Prolog language";
24 homepage = "https://github.com/teyjus/teyjus";
25 changelog = "https://github.com/teyjus/teyjus/releases/tag/v${version}";
26 license = lib.licenses.gpl3;
27 maintainers = [ maintainers.bcdarwin ];
28 platforms = platforms.unix;
29 };
30}