mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 16:42:51 -06:00
Build gf-embed with -O2.
This commit is contained in:
@@ -14,6 +14,7 @@ Library
|
|||||||
Build-depends: base >= 3.0, array, containers, directory, random
|
Build-depends: base >= 3.0, array, containers, directory, random
|
||||||
else
|
else
|
||||||
Build-depends: base < 3.0
|
Build-depends: base < 3.0
|
||||||
|
Ghc-options: -O2
|
||||||
Extensions:
|
Extensions:
|
||||||
Exposed-Modules:
|
Exposed-Modules:
|
||||||
GF.GFCC.API
|
GF.GFCC.API
|
||||||
|
|||||||
Reference in New Issue
Block a user