aboutsummaryrefslogtreecommitdiff
path: root/public-sparql.scm
blob: 08f97ea6c479bd09fa5e09022ef81b28ba710ecb (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
;;; 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)
             (forge nginx)
             (forge socket))

(define %reverse-http-proxy-port 8990)
(define %reverse-https-proxy-port 8991)

(define %virtuoso-port 8982)
(define %sparql-port 8983)

(define (virtuoso-reverse-proxy-server-block 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"))
   (locations
    (list (nginx-location-configuration
           (uri "/")
           (body (list (string-append "proxy_pass http://localhost:"
                                      (number->string sparql-port) ";")
                       "proxy_set_header Host $host;")))))))

(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/virtuoso")
			     (maximum-dirty-buffers 3000000)
                             (database-file "/var/lib/virtuoso/public-virtuoso.db")
                             (transaction-file "/var/lib/virtuoso/public-virtuoso.trx")))
                   (service forge-nginx-service-type
                            (forge-nginx-configuration
                             (http-listen (forge-ip-socket
                                           (ip "0.0.0.0")
                                           (port %reverse-http-proxy-port)))
                             (https-listen (forge-ip-socket
                                            (ip "0.0.0.0")
                                            (port %reverse-https-proxy-port)))
                             (server-blocks
                              (list (virtuoso-reverse-proxy-server-block %sparql-port)))))
                   %base-services)))