Created
October 19, 2021 13:47
-
-
Save lukego/bac8579e779b1ab048f2c4875a614e60 to your computer and use it in GitHub Desktop.
Nix environment for testing Lisp packages
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ pkgs ? import <nixpkgs> {} }: | |
with pkgs; | |
# Executable dependencies | |
let exes = [ | |
sbcl lispPackages.clwrapper | |
git z3 cvc4 | |
pkg-config | |
]; in | |
# Libraries required for build and/or execution | |
let libs = with xlibs; [ | |
libXrandr libXinerama libXxf86vm openssl openblas | |
libxcb libXcursor libGL glfw geos julia_16-bin libffi | |
openblas openssl libffi libev | |
]; in | |
# Lisp package dependencies | |
let lisp = with lispPackages; [ | |
_1am | |
alexandria | |
array-operations | |
binomial-heap | |
binpack | |
bordeaux-threads | |
cffi | |
check-it | |
cl-csv | |
cl-digraph | |
cl-dot | |
cl-fad | |
cl-geometry | |
cl-heap | |
cl-interpol | |
cl-json | |
cl-pattern | |
cl-pdf | |
cl-ppcre | |
cl-ppcre | |
cl-reexport | |
cl-smt-lib | |
cl-svg | |
cl-who | |
classowary | |
data-table | |
defclass-std | |
esrap | |
fiveam | |
flexi-streams | |
generic-cl | |
heap | |
ironclad | |
jsown | |
lla | |
lparallel | |
mgl-mat | |
mgl-pax | |
minheap | |
named-readtables | |
osicat | |
parachute | |
physical-quantities | |
serapeum | |
smug | |
split-sequence | |
sycamore | |
trees | |
trivia | |
trivial-shell | |
uiop | |
vecto | |
]; in | |
mkShell { | |
NIX_LISP_LD_LIBRARY_PATH = lib.strings.makeLibraryPath libs; | |
nativeBuildInputs = exes ++ libs ++ lisp; | |
} | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment