blob: ba728eb56a14e92f14354293d780bb4d60a036e9 (
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
|
;;; genenetwork-machines --- Guix configuration for genenetwork machines
;;; Copyright © 2022 Arun Isaac <arunisaac@systemreboot.net>
;;;
;;; This file is part of genenetwork-machines.
;;;
;;; genenetwork-machines is free software: you can redistribute it
;;; and/or modify it under the terms of the GNU General Public License
;;; as published by the Free Software Foundation, either version 3 of
;;; the License, or (at your option) any later version.
;;;
;;; genenetwork-machines is distributed in the hope that it will be
;;; useful, but WITHOUT ANY WARRANTY; without even the implied
;;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with genenetwork-machines. If not, see
;;; <https://www.gnu.org/licenses/>.
(use-modules (gnu)
(gn services databases)
(gnu services web))
(define (virtuoso-reverse-proxy-server-block listen sparql-port)
"Return an <nginx-server-configuration> object listening on LISTEN to
reverse proxy the Virtuoso server. SPARQL-PORT is the port virtuoso's
SPARQL endpoint is listening on."
(nginx-server-configuration
(server-name '("sparql.genenetwork.org"))
(listen (list listen))
(locations
(list (nginx-location-configuration
(uri "/")
(body (list (string-append "proxy_pass http://localhost:"
(number->string sparql-port) ";")
"proxy_set_header Host $host;")))))))
(define %reverse-proxy-port 8990)
(define %virtuoso-port 8981)
(define %sparql-port 8982)
(operating-system
(host-name "sparql")
(timezone "UTC")
(locale "en_US.utf8")
(bootloader (bootloader-configuration
(bootloader grub-bootloader)
(targets (list "/dev/sdX"))))
(file-systems %base-file-systems)
(users %base-user-accounts)
(packages %base-packages)
(services (cons* (service virtuoso-service-type
(virtuoso-configuration
(server-port %virtuoso-port)
(http-server-port %sparql-port)
(number-of-buffers 4000000)
(dirs-allowed "/var/lib/data")
(maximum-dirty-buffers 3000000)
(database-file "/var/lib/virtuoso/public-virtuoso.db")
(transaction-file "/var/lib/virtuoso/public-virtuoso.trx")))
(service nginx-service-type
(nginx-configuration
(server-blocks
(list (virtuoso-reverse-proxy-server-block
(number->string %reverse-proxy-port)
%sparql-port)))))
%base-services)))
|
