Commit Graph

38 Commits

Author SHA1 Message Date
hallgren
82fd8c9f94 gf-server.cabal: flag to include C run-time support in the FastCGI PGF service 2014-01-31 16:11:41 +00:00
hallgren
c6d2b30c6b src/server/gf-server.cabal: compile it as a common library + executables 2013-12-17 15:55:14 +00:00
hallgren
656f934945 gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility 2013-07-15 17:07:51 +00:00
hallgren
d3e809f95b gf-server.cabal: mtl is needed to build pgf-server now 2012-04-02 15:58:21 +00:00
hallgren
139e90b2e1 gf-server.cabal: always build the fastcgi module (pgf-server), lower version requirement on the cgi package
+ The flag fastcgi is removed: building the fastcgi is the main purpose of
  this cabal file again.
+ pgf-http superseded by gf-server, but is still available as an option
+ Require cgi>=3001.7.3 instead of cgi>=3001.8.0.
2012-03-05 16:38:54 +00:00
hallgren
9dbe4ba41a src/server/ContentService.hs: fix compilaton problem 2012-02-23 16:46:21 +00:00
hallgren
42ccbf2d8e pgf-service: add Jordis transfer function for OpenMath LaTeX output 2011-08-23 16:25:00 +00:00
hallgren
4b86179f12 gf-server: enable -rtsopts when compiling with ghc>=7.0 2011-06-21 15:45:13 +00:00
hallgren
1780b14d3a gf-server.cabal: a separate flag for the content service
* Use cabal install -ffastcgi to compile the fastcgi server.
  * Use cabal install -fcontent to compile the content service (off by default,
    currently broken)
  * Use both flag to compile both.
2011-06-21 15:38:57 +00:00
hallgren
da4f5cf607 gf-server.cabal: changes to stop cabal from demanding hsql even when content-server is not going to be built 2010-12-23 17:02:13 +00:00
hallgren
18338b0ee4 gf-server.cabal: update description of fastcgi flag 2010-12-22 15:05:10 +00:00
hallgren
a5b661700b gf-server.cabal: make hsql-mysql optional like fastcgi
content-service depends on hsql-mysql, which depends on a C library, so like
fastcgi, only compile it if you ask for it explicitly with -ffastcgi.
2010-12-22 14:59:49 +00:00
hallgren
5dd58dfca6 gf-server.cabal: Change the default for the flag fastcgi to False
If you want the fastcgi server, use cabal install -ffastcgi.

This is to avoid problems when you only want to compile pgf-http and the
fastcgi library fails to install, which it usually does, since it depends on
a C library which is not installed automatically with cabal.
2010-12-22 14:49:17 +00:00
krasimir
9ae3a7b30d tweak gf-server.cabal 2010-12-22 12:32:13 +00:00
hallgren
72148feeb9 Install minibar and some example grammars along with pgf-http
Together with the changes to pgf-http, this should make it much easier to run
the PGF service and minibar locally.
2010-12-17 16:29:22 +00:00
hallgren
5fd4efd960 Split pgf-server into pgf-fcgi and pgf-http.
The dependency on the fastcgi package made pgf-server difficult to compile, so
it is now split into

  - pgf-fgci (main module in pgf-fcgi.hs), which is built only if fastcgi is
    already installed or if you turn on the fastcgi flag (e.g. by doing
    'cabal install -f fastcgi').

  - pgf-http (main module in pgf-http.hs) which is always built (and hopefully
    has no problematic dependencies.) 

The modules FastCGIUtils and PGFService no longer depend on fastcgi.
2010-11-26 14:30:51 +00:00
hallgren
d0efcc035c Make PGFService.hs compile again
+ PGFService.hs: add Nothing arguments in calls to PGF.parse_ and
  PGF.getPArseOutput
+ gf-server.cabal: mark content-server as not buildable, since required source
  files are missing.
2010-11-09 15:08:37 +00:00
krasimir
95733f0b1b the exhaustive/random generator now knows how to handle computable functions in the types 2010-10-11 17:18:28 +00:00
krasimir
72f505d7df update PGFService to work after the extensions in the random generation API 2010-09-30 07:35:54 +00:00
hallgren
ea67281820 Standalone HTTP version of pgf-server
pgf-server can now act as a standalone HTTP server. To activate this mode,
start it with

	pfg-server http

to use the default port number (41296), or give an explicit port number, e.g.,

	pgf-server http 8080

The HTTP server serves PGF files in the same way as the old FastCGI interface.
In addition, it also serves static files. The document root for static files
is the www subdirectory of the current directory where pgf-server is started.

In spite of these addition, backwards compatibility is maintaned. The old
FastCGI interface continues to work as before. (It is activated when
pgf-server is started without arguments.)
2010-09-01 14:08:52 +00:00
krasimir
fefd78222a fix: PGFService should type-check the trees that comes from the user 2010-07-31 10:45:59 +00:00
hallgren
ee9acfc772 Update version numbers for build-depends in gf-server.cabal 2010-04-22 14:22:55 +00:00
krasimir
f806a7890d now the PGF service communicates with Graphviz using UTF8 for the input and binary for the output 2010-04-22 14:01:08 +00:00
krasimir
a4894be101 the pgf service now compiles with the latest CGI package 2010-04-22 12:37:36 +00:00
hallgren
9fc30c11df Update version number 3.0 to 3.1 in a number of places 2009-12-15 15:27:26 +00:00
krasimir
286e60c7dc fix the directories in gf-server.cabal 2009-12-14 15:21:09 +00:00
krasimir
e3052a25bd GF.Grammar.Parser is added to gf-server.cabal to tell Cabal that he has to run Happy 2009-06-04 16:38:07 +00:00
krasimir
eed3bc5312 the morpho server is now updated and works with the current GF. the sources are moved in directory server 2009-06-04 16:26:52 +00:00
bjorn
48e90ad8bd Rename PGF Server cabal packages to pgf-server (was gf-server). 2008-12-05 19:10:51 +00:00
aarne
cfce955aa8 distinguished know_VS and know_V2 in Lexicon; patched Italian imperatives (not quite finished yet) 2008-11-05 10:22:09 +00:00
bjorn
3e40a907ca gf-server: added a way to list the available pgf files 2008-10-29 20:45:18 +00:00
bjorn
681648fb05 Rename MainFastCGI.hs to PGFService.hs. 2008-10-29 19:49:38 +00:00
bjorn
e7656c9d2e (fastcgi) replace DataRef with a more general Cache type, which can hold several PGF grammars. 2008-10-17 14:12:53 +00:00
bjorn
3ee2a7b072 A bunch of changes that make it easy to run the gf server with lighttpd 2008-10-16 13:39:09 +00:00
bjorn
e94cfd8567 Multithreaded gf.fcgi. 2008-10-16 13:00:44 +00:00
bjorn
9265be0326 fastcgi server: add /mylanguage resource, which selects the language that best matches the Accept-language header. 2008-09-17 12:22:17 +00:00
bjorn
c43e5bf979 First version of ajax / fastcgi interface with completion. 2008-08-19 12:29:31 +00:00
bjorn
38d37c4149 Added first version of the GF FastCGI server. 2008-08-14 09:06:26 +00:00