;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2021,2022 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 git-download)
  #:use-module (guix build-system gnu)
  #:use-module (guix build-system guile)
  #: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 guile-r7rs-accel-asc
  (package
    (name "guile-r7rs-accel-asc")
    (version "1.1.0")
    (source (origin
              (method git-fetch)
              (uri (git-reference
                    (url "https://git.tojo.tokyo/r7rs-accel-asc.git")
                    (commit (string-append "v" version))))
              (sha256
               (base32
                "1q2pb290hyq0s8vq9nf13s2acpgdh6ca38pgi0nv5ahffk4p49hx"))))
    (build-system guile-build-system)
    (native-inputs
     (list guile-3.0 guile-srfi-158))
    (propagated-inputs
     (list guile-3.0 guile-srfi-158))
    (synopsis "This library provides an implementation of the algorithm
 called `accel_asc` by Jerome Kelleher, which generates integer partitions
 in R7RS")
    (description "This library provides an implementation of the algorithm
 called `accel_asc` by Jerome Kelleher, which generates integer partitions
 in R7RS")
    (home-page "https://git.tojo.tokyo/r7rs-accel-asc.git/about/")
    (license license:asl2.0)))

(define-public guile-r7rs-pnm
  (package
    (name "guile-r7rs-pnm")
    (version "1.0.0")
    (source (origin
              (method git-fetch)
              (uri (git-reference
                    (url "https://git.tojo.tokyo/r7rs-pnm.git")
                    (commit (string-append "v" version))))
              (sha256
               (base32
                "1r6m28f2w4kn2fvbv762r3n0hspb5rbwg5fpb336ryj69za7v0fh"))))
    (build-system guile-build-system)
    (native-inputs
     (list guile-3.0))
    (synopsis "Library for reading and writing PNM (Portable Any Map) files for R7RS")
    (description "R7RS-PNM is a R7RS library for handling PNM (Portable Any Map) files,
providing functionality for reading and writing PNM files,as well as
accessing and modifying pixel data.")
    (home-page "https://git.tojo.tokyo/r7rs-pnm.git/about")
    (license license:lgpl3+)))

(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 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-vikalpa
  (package
    (name "guile-vikalpa")
    (version "0.3.5")
    (source (origin
              (method url-fetch)
              (uri (string-append
                    "https://files.tojo.tokyo/vikalpa/"
                    "vikalpa-" version ".tar.gz"))
              (sha256
               (base32
                "1lawsfy7a03awrzyxa6zivgl5zhz19f1n6cdlwmb3i3k9kdwdpj5"))))
    (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+)))