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