837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\documentclass{article}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\usepackage[latin1]{inputenc}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\usepackage{url,hyperref}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\title{How to build the hets web interface}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\author{Klaus L�ttich}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\begin{document}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\section{Quick start guide}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichThis part gives only a very rough overview of what you need.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\subsection{Installation of WASH}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichPrerequisites: ghc $>=$ 6.4, GNU make, darcs $>=$ 1.0.3
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\begin{enumerate}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item get WashNGo via darcs:\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \texttt{darcs get http://darcs.complete.org/local-branches/WashNGo/}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item copy additional files to the WashNGo repository
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item patch your darcs repository with the darcs patch (or the plain
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich from inside the WashNGo repository directory:\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \verb|darcs apply UniqueRenamePatch|
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item inside the WashNGo repository run \verb|make -f Makfile.hets all|
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\end{enumerate}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\subsection{Compilation of hets.cgi}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichIf you want different locations for the generated files and html-links
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettichyou have to change \verb|HetCATS/GUI/hets_cgi.hs| and then just run
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\verb|make cgi|.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\section{Detailed instructions}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\subsection{Installation of WASH}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichAll the additionally needed files and patches are in the archive
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\verb|HetCATS/GUI/wash.tgz|. Install darcs
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\begin{enumerate}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item get WashNGo via darcs:\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \texttt{darcs get
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich http://darcs.complete.org/local-branches/WashNGo/}\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich You get a directory \verb|WashNGo| which is referenced as the
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \emph{repository directory} from now on.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item copy all files from the directory
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \verb|HetCATS/GUI/wash_addon/|to the repository directory.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item patch your darcs repository with the darcs patch\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich from inside the repository directory:\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \verb|darcs apply UniqueRenamePatch|
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\item inside the WashNGo repository run
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \verb|make -f Makfile.hets all|\\
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich and you end up with \verb|$HOME/wash-pkg/|% $ where the file
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich \verb|package.conf|, all \verb|*.hi|-files and the needed library
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich file are installed to.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\end{enumerate}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\subsection{Configuration and Compilation of hets.cgi}
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichAll the configuration of the web interface is done via String
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettichconstants in \\ \verb|HetCATS/GUI/hets_cgi.hs|. They are all documented
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettichin this source file.
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus LuettichAfter checking and/or changing the configuration constants run
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\verb|make cgi|. If Programmatica is in place even Haskell support is
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\paragraph{Note for Uni-Bremen people} The user id with which hets.cgi
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettichis running must have permission to write to \verb|/home/www/cofi/hets-tmp/|!
837ae0a0b10a3d372e97218094041f9bbfac5194Klaus Luettich\end{document}