First commit.

1 files changed, 47 insertions, 0 deletions

diff --git a/guix.scm b/guix.scm
new file mode 100644
index 0000000..7148e7e
--- /dev/null
+++ b/guix.scm
@@ -0,0 +1,47 @@
+;;; Monitoring --- Server monitoring
+;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
+;;;
+;;; This file is part of Monitoring.
+;;;
+;;; Monitoring 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.
+;;;
+;;; Monitoring 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 Monitoring.  If not, see <http://www.gnu.org/licenses/>.
+
+(use-modules (guix packages)
+             ((guix licenses) #:prefix license:)
+             (guix git-download)
+             (guix build-system gnu)
+             (gnu packages)
+             (gnu packages autotools)
+             (gnu packages guile)
+             (gnu packages pkg-config)
+             (gnu packages texinfo))
+
+(define guile-monitoring
+  (package
+    (name "guile-monitoring")
+    (version "0.1.0")
+    (source (string-append (getcwd) "/monitoring-" version ".tar.gz"))
+    (build-system gnu-build-system)
+    (native-inputs
+     `(("autoconf" ,autoconf)
+       ("automake" ,automake)
+       ("pkg-config" ,pkg-config)
+       ("texinfo" ,texinfo)))
+    (inputs
+     `(("guile" ,guile-3.0)))
+    (synopsis "Proof assistant for GNU Guile")
+    (description "Monitoring is a proof assistant inspired by J-Bob.")
+    (home-page "https://gitlab.com/tojoqk/monitoring")
+    (license license:gpl3+)))
+
+guile-monitoring