diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-15 21:04:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-15 21:04:29 +0000 |
| commit | b70dba87bab5dfc8039f0b9f69e0851f92324f8b (patch) | |
| tree | 891cda8fd263b768232f930cabaf0769fb976737 /gf.cabal | |
| parent | 393dde2eb93a975442697c177dbb161e4300bea0 (diff) | |
Rename modules GFI, GFC & GFServer...
... to GF.Interactive, GF.Compiler & GF.Server, respectively.
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -158,7 +158,7 @@ Executable gf build-depends: httpd-shed>=0.4.0.2, network>=2.3 && <2.6, json, cgi -- ,silently cpp-options: -DSERVER_MODE - other-modules: GFServer + other-modules: GF.Server hs-source-dirs: src/server src/server/transfer src/example-based if flag(c-runtime) @@ -251,8 +251,8 @@ Executable gf GF.Compile.PGFtoJS GF.Compile GF.Quiz - GFC - GFI + GF.Compiler + GF.Interactive if flag(interrupt) cpp-options: -DUSE_INTERRUPT |