diff options
Diffstat (limited to 'users/wpcarro/third_party')
-rw-r--r-- | users/wpcarro/third_party/README.md | 5 | ||||
-rw-r--r-- | users/wpcarro/third_party/default.nix | 5 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/anaphora.nix | 17 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/cl-arrows.nix | 15 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/cl-colors.nix | 20 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/let-plus.nix | 19 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/linear-programming.nix | 26 | ||||
-rw-r--r-- | users/wpcarro/third_party/lisp/prove.nix | 31 |
8 files changed, 138 insertions, 0 deletions
diff --git a/users/wpcarro/third_party/README.md b/users/wpcarro/third_party/README.md new file mode 100644 index 000000000000..29e498a37726 --- /dev/null +++ b/users/wpcarro/third_party/README.md @@ -0,0 +1,5 @@ +# third_party + +The `third_party` directory hosts Nix expressions that package software that I +cannot or have not found in other Nix package repositorys like `nixpkgs` or +`depot`. diff --git a/users/wpcarro/third_party/default.nix b/users/wpcarro/third_party/default.nix new file mode 100644 index 000000000000..949110373fb2 --- /dev/null +++ b/users/wpcarro/third_party/default.nix @@ -0,0 +1,5 @@ +{ pkgs, briefcase, depot, ... }: + +# Exposing these to be available as briefcase.third_party.pkgs for example. + +{ inherit pkgs briefcase depot; } 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" + ]; +} |