Skip to content

Instantly share code, notes, and snippets.

@carnotweat
Created December 12, 2022 09:02
Show Gist options
  • Save carnotweat/199b2e39d1a4f3722dd263db292d6ab0 to your computer and use it in GitHub Desktop.
Save carnotweat/199b2e39d1a4f3722dd263db292d6ab0 to your computer and use it in GitHub Desktop.
nada
with import <nixpkgs> {};
mkShell {
nativeBuildInputs = [
ocaml
opam
dune_2
pkg-config
gcc
bintools-unwrapped
gmp
];
}
{ 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;
}
@carnotweat
Copy link
Author

;; 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)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment