mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-15 17:31:56 +03:00
f28b7cdfd8
some dev.sh cabal project file fixes PR-URL: https://github.com/hasura/graphql-engine-mono/pull/9842 GitOrigin-RevId: a3a095f9ac7739ff94514d53222818f400269f8a
22 lines
757 B
Plaintext
22 lines
757 B
Plaintext
-- This configuration is used by `dev.sh graphql-engine --optimized` and is
|
|
-- also a good choice for running a local optimized build
|
|
--
|
|
-- !!!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"
|
|
|
|
-- This requires cabal-install >=3.8
|
|
import: dev-sh.project.local
|
|
|
|
---- (reminder: top-level means apply these to all local packages)
|
|
flags: +optimize-hasura
|
|
-- be faster:
|
|
documentation: false
|
|
|
|
-- 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
|