summaryrefslogtreecommitdiff
path: root/HACKING.md
diff options
context:
space:
mode:
authorcolin <colin@cicadas.surf>2023-01-01 09:01:10 -0800
committercolin <colin@cicadas.surf>2023-01-01 09:01:10 -0800
commit32310d910b8721f46c96cfb3709ca2d13da7b066 (patch)
treea9119888faf1c0f7eb65bdb59e8dffe3e43c678c /HACKING.md
parent23b40732d41589380d38235e67b27bdd9269b658 (diff)
Docs: Changed Hacking and Install docs
Diffstat (limited to 'HACKING.md')
-rw-r--r--HACKING.md30
1 files changed, 30 insertions, 0 deletions
diff --git a/HACKING.md b/HACKING.md
new file mode 100644
index 0000000..423ae5d
--- /dev/null
+++ b/HACKING.md
@@ -0,0 +1,30 @@
+
+To hack on Vampire locally, here's what I'd do.
+
+1. copy the vampire static directory to your home dir, calling it vampire-static:
+
+ cp -r /path/to/vampire.git/static ~/vampire-static
+
+2. Fire up SLIME and ensure that you can load vampire in quicklisp
+
+ (pushnew #P"/path/to/vampire.git/" ql:*local-project-directories*)
+ (pushnew #P"/path/to/derrida.git/" ql:*local-project-directories*)
+ (ql:quickload :vampire)
+
+3. Run (vampire::hacking-start), which will
+
+- create a bknr.datastore in ~/vampire-store
+- start the service
+- open a browser tab and give it focus
+
+The first time you start up vampire, or anytime after deleting
+~/vampire-store/, you'll need to make a new invite so you can make an
+account for your local use:
+
+4. Make an invite to use:
+
+ (in-package :vampire)
+ (key (make-invite nil 1)) ;; one time anonymous invite.
+
+That should print an invite code into the REPL. Use that code in the
+web interface for making a new account.