From b0614b5c83ae62672cb036bebb6ce12675aa3074 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Wed, 15 Dec 2021 00:00:26 +0300 Subject: refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp * 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 Reviewed-by: grfn Reviewed-by: wpcarro Tested-by: BuildkiteCI --- .../third_party/lisp/linear-programming.nix | 26 ---------------------- 1 file changed, 26 deletions(-) delete mode 100644 users/wpcarro/third_party/lisp/linear-programming.nix (limited to 'users/wpcarro/third_party/lisp/linear-programming.nix') 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 fc95787a1d..0000000000 --- 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" - ]; -} -- cgit 1.4.1