add nix.

UQ-PAC · Sep 12, 2023 · f7fd0e8 · f7fd0e8
1 parent 672f355
commit f7fd0e8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -76,6 +76,11 @@ This interpreter consists of a single directory organized as follows
   * Code copied from other open source projects
       * `libASL/visitor.ml`
 
+### Installing with Nix
+
+ASLp can be installed as a Nix package from https://github.com/katrinafyi/pac-nix.
+_asli_ provides the base ASLp and _aslp_ provides ASLp bundled with ARM's specifications.
+If you don't plan on modifying the tool, this is a fast and easy way to get started.
 
 ### Installing dependencies