;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2014 Mark H Weaver <mhw@netris.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix 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.
;;;
;;; GNU Guix 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 GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages vtk)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix licenses)
  #:use-module (guix build-system cmake)
  #:use-module (gnu packages)
  #:use-module (gnu packages xorg)
  #:use-module (gnu packages gl))

(define-public vtk
  (package
    (name "vtk")
    (version "6.1.0")
    (source (origin
              (method url-fetch)
              (uri (string-append "http://www.vtk.org/files/release/"
                                  (substring version 0
                                             (string-rindex version #\.))
                                  "/VTK-" version ".tar.gz"))
              (sha256
               (base32
                "0d7shccdkyj4mbh2riilslgx3gd28in4c7xpm0lxa1ln8w5g2zdx"))
              (patches (search-patches "vtk-mesa-10.patch"))))
    (build-system cmake-build-system)
    (arguments
     ;; Build without '-g' to save space.
     '(#:configure-flags '("-DCMAKE_BUILD_TYPE=Release")
       #:tests? #f))                              ;XXX: no "test" target
    (inputs
     `(("libXt" ,libxt)
       ("xproto" ,xproto)
       ("libX11" ,libx11)
       ("mesa" ,mesa)
       ("glu" ,glu)))
    (home-page "http://www.vtk.org/")
    (synopsis "Libraries for 3D computer graphics")
    (description
     "The Visualization Toolkit (VTK) is a C++ library for 3D computer graphics,
image processing and visualization.  It supports a wide variety of
visualization algorithms including: scalar, vector, tensor, texture, and
volumetric methods; and advanced modeling techniques such as: implicit
modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay
triangulation.  VTK has an extensive information visualization framework, has
a suite of 3D interaction widgets, supports parallel processing, and
integrates with various databases on GUI toolkits such as Qt and Tk.")
    (license bsd-3)))
td><a href='/guix/commit/gnu/packages/coq.scm?id=b1baba38c0dd37a44c0be901421431cbdcca21e5'>gnu: coq: Add upstream-name.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-07-31 23:06:16 +0200'>2021-07-31</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=e38b4d5ceb344c9707917a7d32df50d0ced082b5'>gnu: coq: Update to 8.13.2.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-07-31 23:06:14 +0200'>2021-07-31</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=3c44aa2b7456b371a7d5fc52120cca7d3e002f0c'>gnu: coq-stdpp: Update to 1.5.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-06-13 23:57:45 +0200'>2021-06-13</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=44ed008ac127da297f28643df072f908e133b686'>gnu: proof-general: Update to 4.4-0.bc86736.</a><span class='msg-avail'>...</span></td><td>Xinglu Chen</td></tr>