
22 Sep
2010
22 Sep
'10
10:53 a.m.
I wrote a simple interactive tableaux theorem prover as a cgi in Haskell (http://www.ncc.up.pt/~pbv/cgi/tableaux.cgi) and would like to submit to hackage but need some advice on how to package it using cabal. In particular, the binary, CSS and bitmap files need to be installed under the web server directory (public_html or alike) rather than system or user directories. Any thoughts on how to do this? Regards, Pedro Vasconcelos