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