2023-02-09 01:41:09 +03:00
|
|
|
-- This configuration is used by `dev.sh graphql-engine --optimized` and is
|
|
|
|
|
-- also a good choice for running a local optimized build
|
2023-07-12 11:28:42 +03:00
|
|
|
--
|
|
|
|
|
-- !!!IMPORTANT!!!:
|
|
|
|
|
-- if you modify this you need to copy-paste the change in all the other dev-sh
|
|
|
|
|
-- files which contain: "START dev-sh-optimized.project.local"
|
2023-02-09 01:41:09 +03:00
|
|
|
|
|
|
|
|
-- This requires cabal-install >=3.8
|
2023-07-12 11:28:42 +03:00
|
|
|
import: dev-sh.project.local
|
2023-02-09 01:41:09 +03:00
|
|
|
|
|
|
|
|
---- (reminder: top-level means apply these to all local packages)
|
|
|
|
|
flags: +optimize-hasura
|
|
|
|
|
-- be faster:
|
|
|
|
|
documentation: false
|
2023-07-12 11:28:42 +03:00
|
|
|
|
|
|
|
|
-- coverage inhibits performance. NOTE: we can't just put this at the top level
|
|
|
|
|
-- to override, since it seems package-specific configuration takes precedence...
|
|
|
|
|
package graphql-engine
|
|
|
|
|
coverage: false
|
|
|
|
|
package graphql-engine-pro
|
|
|
|
|
coverage: false
|
