Name:     free-theorems-webui
Version:  0.2.1.0

Synopsis: CGI-based web interface for the free-theorems package.
Description:
   This package provides access to the functionality of <http://hackage.haskell.org/package/free-theorems>
   through a web interface.
   .
   An online version can be seen at <http://www-ps.iai.uni-bonn.de/ft/>,
   where you can also find a more detailed description of the functionality.
   .
   There is also a shell based interface: <http://hackage.haskell.org/package/ftshell>.
   .
   The CGI binary is called "free-theorems-webui.cgi".
   .
   To start it locally for offline usage, just call "free-theorems-webui" after installation. (This needs python)
License:    PublicDomain
Category:   Language
Author:     Matthias Bartsch
Maintainer: bartsch@cs.uni-bonn.de

Cabal-Version: >= 1.2

Build-type: Simple

Data-files:
   style.css
   ui-tweaks.js
   lambdaTeX.tex
   runLocalServer.py

Extra-source-files:
   BeautifyTeXOutput.hs
   FTTools.hs
   GeneratePDF.hs
   KnownDeclarations.hs
   LogRequests.hs
   Main.hs
   Pages.hs
   TypesetAsImage.hs
   default_config/Paths.hs
   our_server_config/Paths.hs


Flag our_server
   description:
      Use the path configuration from "our_server_config/"
      instead of "default_config/".
      .
      After compilation, the application will only work
      with the folder layout on our server.
      .
      See "our_server_config/Paths.hs" for details.
   default:
      False

Executable free-theorems-webui.cgi
   main-is: Main.hs
   build-depends: base          >= 3.0.3.1 && <5
                , free-theorems >= 0.3.1.3 && <0.4
                , csv           >= 0.1.1
                , cgi           >= 3001.1.7.1
                , time          >= 1.1.4
                , bytestring    >= 0.9.1.4
                , directory     >= 1.0.0.2
                , filepath      >= 1.1.0.1
                , xhtml         >= 3000-2-0-1
                , dataenc
                , process       >= 1.1.0.0
                , filepath      >= 1.3.0.0
                , directory     >= 1.2.0.0
   if flag(our_server)
      hs-source-dirs: . our_server_config
   else
      hs-source-dirs: . default_config

   extensions:
     ScopedTypeVariables

-- This is just a wrapper for the included Python script
-- used to start a local CGI server for offline use.
Executable free-theorems-webui
   main-is: RunLocalServer.hs