blob: 423ae5df2ea2ab06968f562171202f7bb1957504 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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.
|
