aboutsummaryrefslogtreecommitdiffhomepage
path: root/HACKING.md
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.