tjh.dev
1{
2 buildDunePackage,
3 dolmen,
4 dolmen_type,
5 gen,
6 pp_loc,
7 mdx,
8}:
9
10buildDunePackage {
11 pname = "dolmen_loop";
12 inherit (dolmen) src version;
13
14 propagatedBuildInputs = [
15 dolmen
16 dolmen_type
17 gen
18 pp_loc
19 ];
20
21 doCheck = true;
22 nativeCheckInputs = [ mdx.bin ];
23 checkInputs = [ mdx ];
24
25 meta = dolmen.meta // {
26 description = "Tool library for automated deduction tools";
27 };
28}