Created
December 12, 2022 09:02
-
-
Save carnotweat/199b2e39d1a4f3722dd263db292d6ab0 to your computer and use it in GitHub Desktop.
nada
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
with import <nixpkgs> {}; | |
mkShell { | |
nativeBuildInputs = [ | |
ocaml | |
opam | |
dune_2 | |
pkg-config | |
gcc | |
bintools-unwrapped | |
gmp | |
]; | |
} |
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 xorg; [ | |
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
;; mod-your-dotemacs
(add-to-list 'load-path "/home/x/clones/sly")
(require 'sly-autoloads)
(setq inferior-lisp-program "/nix/store/pfg63mi6rblh13c3w3gblqzhlg677p1x-sbcl-2.2.9/bin/sbcl")
;; via which lisp
(package-initialize)