diff options
| author | krasimir <krasimir@chalmers.se> | 2008-05-29 16:53:24 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-05-29 16:53:24 +0000 |
| commit | 1bcc4aab8178434a890a3c723582b5fbd45a5a84 (patch) | |
| tree | 57806ae7ad0d74e9800fdf91acd8f17160d33333 /GF.cabal | |
| parent | 2505bfc892ed4b2c7f5444be0c8295de121f84b0 (diff) | |
drop the GF.Command.* dependencies in the library
Diffstat (limited to 'GF.cabal')
| -rw-r--r-- | GF.cabal | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -39,11 +39,6 @@ library GF.GFCC.Parsing.FCFG.Active GF.GFCC.Parsing.FCFG GF.GFCC.Raw.ConvertGFCC - GF.Command.LexGFShell - GF.Command.AbsGFShell - GF.Command.PrintGFShell - GF.Command.ParGFShell - GF.Command.PPrTree GF.Data.RedBlackSet GF.Data.GeneralDeduction GF.Data.Utilities @@ -62,7 +57,8 @@ executable gf3 directory, random, old-time, - process + process, + pretty if os(windows) build-depends: Win32 else |