6 files changed, 128 insertions, 0 deletions
diff --git a/users/wpcarro/third_party/lisp/anaphora.nix b/users/wpcarro/third_party/lisp/anaphora.nix
new file mode 100644
index 000000000000..bf4bf663f4d4
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/anaphora.nix
@@ -0,0 +1,17 @@
+{ depot, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/tokenrove/anaphora.git";
+    rev = "aeace4c68cf55098a67112750b28f8f2dc6d0e30";
+  };
+in depot.nix.buildLisp.library {
+  name = "anaphora";
+  deps = [];
+  srcs = [
+    "${src}/packages.lisp"
+    "${src}/early.lisp"
+    "${src}/symbolic.lisp"
+    "${src}/anaphora.lisp"
+  ];
+}
diff --git a/users/wpcarro/third_party/lisp/cl-arrows.nix b/users/wpcarro/third_party/lisp/cl-arrows.nix
new file mode 100644
index 000000000000..4c09d688fae7
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/cl-arrows.nix
@@ -0,0 +1,15 @@
+{ depot, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/nightfly19/cl-arrows.git";
+    rev = "cbb46b69a7de40f1161c9caaf6cef93b3af9994f";
+  };
+in depot.nix.buildLisp.library {
+  name = "cl-arrows";
+  deps = [];
+  srcs = [
+    "${src}/packages.lisp"
+    "${src}/arrows.lisp"
+  ];
+}
diff --git a/users/wpcarro/third_party/lisp/cl-colors.nix b/users/wpcarro/third_party/lisp/cl-colors.nix
new file mode 100644
index 000000000000..fa35b755dbbc
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/cl-colors.nix
@@ -0,0 +1,20 @@
+{ depot, briefcase, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/tpapp/cl-colors.git";
+    rev = "827410584553f5c717eec6182343b7605f707f75";
+  };
+in depot.nix.buildLisp.library {
+  name = "cl-colors";
+  deps = [
+    depot.third_party.lisp.alexandria
+    briefcase.third_party.lisp.let-plus
+  ];
+  srcs = [
+    "${src}/package.lisp"
+    "${src}/colors.lisp"
+    "${src}/colornames.lisp"
+    "${src}/hexcolors.lisp"
+  ];
+}
diff --git a/users/wpcarro/third_party/lisp/let-plus.nix b/users/wpcarro/third_party/lisp/let-plus.nix
new file mode 100644
index 000000000000..a750443fd1c8
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/let-plus.nix
@@ -0,0 +1,19 @@
+{ depot, briefcase, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/tpapp/let-plus.git";
+    rev = "7cf18b29ed0fe9c667a9a6a101b08ab9661a59e9";
+  };
+in depot.nix.buildLisp.library {
+  name = "let-plus";
+  deps = [
+    depot.third_party.lisp.alexandria
+    briefcase.third_party.lisp.anaphora
+  ];
+  srcs = [
+    "${src}/package.lisp"
+    "${src}/let-plus.lisp"
+    "${src}/extensions.lisp"
+  ];
+}
diff --git a/users/wpcarro/third_party/lisp/linear-programming.nix b/users/wpcarro/third_party/lisp/linear-programming.nix
new file mode 100644
index 000000000000..fc95787a1d85
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/linear-programming.nix
@@ -0,0 +1,26 @@
+{ depot, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/neil-lindquist/linear-programming.git";
+    rev = "8c8d55e7584773b90c4ba4b225c5f2008f4c474a";
+  };
+in depot.nix.buildLisp.library {
+  name = "linear-programming";
+  deps = [
+    (depot.nix.buildLisp.bundled "uiop")
+    depot.third_party.lisp.iterate
+    depot.third_party.lisp.alexandria
+  ];
+  srcs = [
+    "${src}/src/conditions.lisp"
+    "${src}/src/expressions.lisp"
+    "${src}/src/simplex.lisp"
+    "${src}/src/system-info.lisp"
+    "${src}/src/utils.lisp"
+    "${src}/src/problem.lisp"
+    "${src}/src/solver.lisp"
+    "${src}/src/external-formats.lisp"
+    "${src}/src/all.lisp"
+  ];
+}
diff --git a/users/wpcarro/third_party/lisp/prove.nix b/users/wpcarro/third_party/lisp/prove.nix
new file mode 100644
index 000000000000..7c5879b1fded
--- /dev/null
+++ b/users/wpcarro/third_party/lisp/prove.nix
@@ -0,0 +1,31 @@
+{ depot, briefcase, ... }:
+
+let
+  src = builtins.fetchGit {
+    url = "https://github.com/fukamachi/prove.git";
+    rev = "5d71f02795b89e36f34e8c7d50e69b67ec6ca2de";
+  };
+in depot.nix.buildLisp.library {
+  name = "prove";
+  deps = [
+    depot.third_party.lisp.cl-ppcre
+    depot.third_party.lisp.cl-ansi-text
+    depot.third_party.lisp.alexandria
+    depot.third_party.lisp.uiop
+    briefcase.third_party.lisp.cl-colors
+  ];
+  srcs = [
+    "${src}/src/asdf.lisp"
+    "${src}/src/suite.lisp"
+    "${src}/src/color.lisp"
+    "${src}/src/output.lisp"
+    "${src}/src/prove.lisp"
+    "${src}/src/report.lisp"
+    "${src}/src/reporter.lisp"
+    "${src}/src/test.lisp"
+    "${src}/src/reporter/dot.lisp"
+    "${src}/src/reporter/fiveam.lisp"
+    "${src}/src/reporter/list.lisp"
+    "${src}/src/reporter/tap.lisp"
+  ];
+}