From c200232bfd90b4460051c95bc03621a442d836fb Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 30 Sep 2010 07:35:54 +0000 Subject: update PGFService to work after the extensions in the random generation API --- src/server/gf-server.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/server/gf-server.cabal') diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal index 619efdde1..21ce08bb4 100644 --- a/src/server/gf-server.cabal +++ b/src/server/gf-server.cabal @@ -21,7 +21,8 @@ executable pgf-server json >= 0.3.3, utf8-string >= 0.3.1.1, bytestring, - pretty + pretty, + random if !os(windows) build-depends: unix main-is: PGFService.hs -- cgit v1.2.3