;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
;;;
;;; This file is part of tojo-tokyo-guix-config.
;;;
;;; tojo-tokyo-guix-config 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.
;;;
;;; tojo-tokyo-guix-config 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 extract-green-color.  If not, see
;;; <http://www.gnu.org/licenses/>.

(define-module (tojo-tokyo packages guile-xyz)
  #:use-module (guix packages)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix download)
  #:use-module (guix build-system gnu)
  #:use-module (gnu packages)
  #:use-module (gnu packages autotools)
  #:use-module (gnu packages guile)
  #:use-module (gnu packages tls)
  #:use-module (gnu packages guile-xyz)
  #:use-module (gnu packages pkg-config)
  #:use-module (gnu packages texinfo))

(define-public extract-green-color
  (package
    (name "extract-green-color")
    (version "2.0.0")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/extract-green-color/"
                    "extract-green-color-" version ".tar.gz"))
              (sha256
               (base32
                "0785hr860hdsbcm54qhm432mvkjdwb4nwdhz88v9p1c53cvbnq5q"))))
    (build-system gnu-build-system)
    (native-inputs
     `(("autoconf" ,autoconf)
       ("automake" ,automake)
       ("pkg-config" ,pkg-config)
       ("texinfo" ,texinfo)))
    (inputs
     `(("guile" ,guile-2.2)))
    (propagated-inputs
     `(("guile-cv" ,guile-cv)))
    (synopsis "Extract green color from a photo of LCD Writing Tablet")
    (description "This package provides script to extract green color
from a photo of LCD Writing Tablet.")
    (home-page "https://git.tojo.tokyo/extract-green-color.git")
    (license license:gpl3+)))

(define-public extract-green-color-1.0
  (package
    (inherit extract-green-color)
    (version "1.0.2")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/extract-green-color/"
                    "extract-green-color-" version ".tar.gz"))
              (sha256
               (base32
                "1z3ga1jy0gayypml1h1gsvj5d7diprnjy8b2r9cqx0prp4kk8mc7"))))))

(define-public guile-sicp-picture-language
  (package
    (name "guile-sicp-picture-language")
    (version "0.2.2")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/guile-sicp-picture-language/"
                    "guile-sicp-picture-language-" version ".tar.gz"))
              (sha256
               (base32
                "1dkdz706fbj73bh8asbicjr0bm16wmfj4csvryhi5gfylxl6xay5"))))
    (build-system gnu-build-system)
    (native-inputs
     `(("autoconf" ,autoconf)
       ("automake" ,automake)
       ("pkg-config" ,pkg-config)
       ("texinfo" ,texinfo)))
    (inputs
     `(("guile" ,guile-3.0)))
    (propagated-inputs
     `(("guile-picture-language" ,guile-picture-language)))
    (synopsis "SICP's picture language for Gulie")
    (description "This package provides an implementation of SICP
picture language for GNU Guile.")
    (home-page "https://git.tojo.tokyo/guile-sicp-picture-language.git")
    (license license:gpl3+)))

(define-public guile-tojo-tokyo-monitoring
  (package
    (name "guile-tojo-tokyo-monitoring")
    (version "0.2.0")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/guile-tojo-tokyo-monitoring/"
                    "guile-tojo-tokyo-monitoring-" version ".tar.gz"))
              (sha256
               (base32
                "0a79r78w9avmfhiz8zs0haicy9d6vwk1rid2rgk7ckcmg38yz6vi"))))
    (build-system gnu-build-system)
    (native-inputs
     `(("autoconf" ,autoconf)
       ("automake" ,automake)
       ("pkg-config" ,pkg-config)
       ("texinfo" ,texinfo)))
    (inputs
     `(("guile" ,guile-3.0)
       ("gnutls" ,gnutls)))
    (synopsis "Server monitoring library")
    (description "Monitoring provides a server monitoring library.")
    (home-page "https://git.tojo.tokyo/monitoring.git/about/")
    (license license:gpl3+)))

(define-public guile-vikalpa
  (package
    (name "guile-vikalpa")
    (version "0.3.3")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/vikalpa/"
                    "vikalpa-" version ".tar.gz"))
              (sha256
               (base32
                "1w3ir7zfv1nrjfd9iliqbp8s4vdlh63dh2adsxjiwkdq3hg1jykz"))))
    (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 "Vikalpa is a proof assistant inspired by J-Bob.")
    (home-page "https://git.tojo.tokyo/vikalpa.git")
    (license license:gpl3+)))