about summary refs log tree commit diff
path: root/users/wpcarro/third_party/lisp/linear-programming.nix
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2021-12-14T21·00+0300
committerclbot <clbot@tvl.fyi>2021-12-14T21·21+0000
commitb0614b5c83ae62672cb036bebb6ce12675aa3074 (patch)
treeac2a4fafa87dae3a0f452fb54977421db9a21344 /users/wpcarro/third_party/lisp/linear-programming.nix
parent46a2c75a596b292d02d8647dfb44205dd876fd6f (diff)
refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp r/3245
* move packages and adapt them for the depot structure instead of
  briefcase
* drop linear-programming package, it didn't build anyways

Note that at least some of these packages (e.g. prove) are deprecated
upstream, but lets sort that out later.

Change-Id: I7f5a5faa29d57f060b21ac8e1706090866a82000
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4330
Autosubmit: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/wpcarro/third_party/lisp/linear-programming.nix')
-rw-r--r--users/wpcarro/third_party/lisp/linear-programming.nix26
1 files changed, 0 insertions, 26 deletions
diff --git a/users/wpcarro/third_party/lisp/linear-programming.nix b/users/wpcarro/third_party/lisp/linear-programming.nix
deleted file mode 100644
index fc95787a1d85..000000000000
--- a/users/wpcarro/third_party/lisp/linear-programming.nix
+++ /dev/null
@@ -1,26 +0,0 @@
-{ 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"
-  ];
-}