Skip to content

Commit

Permalink
asli: add dune-site dependency.
Browse files Browse the repository at this point in the history
katrinafyi committed Feb 9, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 9168f32 commit fd69d80
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion aslp/asli.nix
Original file line number Diff line number Diff line change
@@ -5,6 +5,7 @@
, ott
, z3
# ocamlPackages
, dune-site
, alcotest
, linenoise
, menhir
@@ -29,7 +30,7 @@ buildDunePackage {
};

checkInputs = [ alcotest ];
buildInputs = [ linenoise ];
buildInputs = [ linenoise dune-site ];
nativeBuildInputs = [ ott menhir ];
propagatedBuildInputs = [ z3 pcre pprint zarith ocaml_z3 ocaml_pcre ];

0 comments on commit fd69d80

Please sign in to comment.