HACKING


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)
  > (with-transaction ()
  >    (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.