blob: 0cce93d8e1f03d2cc5bd8f1984f5909016ef6c20 (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
+----------------------------------------------+
| BUILDING |
+----------------------------------------------+
I have only tested vampire using SBCL on Linux.
First install the dependencies that are not in quicklisp:
git clone https://cicadas.surf/cgit/colin/derrida.git ~/quicklisp/local-projects/
git clone https://cicadas.surf/cgit/colin/vampire.git ~/quicklisp/local-projects/
Then cd into the vampire repo's directory and run the build script.
cd ~/quicklisp/local-projects/vampire
sbcl --load build.lisp
If it worked, you should be able to find the file bin/vampire.
+------------------------------------------------------+
| CONFIGURATION FILE |
+------------------------------------------------------+
The configuration file is called config.lisp. Here is an example.
(:datastore-directory "/home/vampire/store/"
:static-directory "/home/vampire/static/"
:swank-port 5011
:port 8081
:downloader-threads 8)
The :datastore-directory and :static-directory fields are REQUIRED and
must be writable by the vampire process. In particular, a subdirectory
of the static-directory, called media, is where media files will be
stored.
Hence, if you want to store media elsewhere, you can mount or symlink
at the ./media subdirectory to the real location.
The :swank-port field is optional. It is the localhost port where you
can connect via SLIME to debug the live application.
+------------------------------------------------------+
| REVERSE PROXY |
+------------------------------------------------------+
I am using apache to set up a reverse proxy. If I'm running vampire on
host at 10.0.0.6, and serving over HTTPS using the domain name
vampire.yourhost.moo, then here's how I'd configure the proxy:
<VirtualHost *:80>
ServerName vampire.yourhost.moo
Redirect / "https://vampire.yourhost.moo/"
</VirtualHost>
<VirtualHost _default_:443>
ServerName vampire.yourhost.moo
SSLEngine on
SSLCertificateFile "/etc/letsencrypt/live/vampire.yourhost.moo/fullchain.pem"
SSLCertificateKeyFile "/etc/letsencrypt/live/vampire.yourhost.moo/privkey.pem"
ProxyPass /clog ws://10.0.0.6:8081/clog
ProxyPass / http://10.0.0.6:8081/
ProxyPassReverse / http://10.0.0.6:8081/
</VirtualHost>
+------------------------------------------------------+
| SYSTEM SERVICE |
+------------------------------------------------------+
Use a systemd service to run vampire, ensuring that it restarts on
reboot.
[Unit]
Description=Vampire Service
[Service]
Type=simple
ExecStart=/home/vampire/vampire/config --config /home/vampire/config.lisp
Restart=always
User=vampire
Group=vampire
[Install]
WantedBy=multi-user.target
Put that into /etc/systemd/system/
and start it like any other systemd service.
|
