chore(build): add profiling options
This commit is contained in:
parent
c7f8663f71
commit
dfd0f57f90
2
build.sh
2
build.sh
@ -9,5 +9,5 @@ set -e
|
|||||||
[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
|
[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || :
|
||||||
|
|
||||||
echo "Building..."
|
echo "Building..."
|
||||||
stack build --fast --flag uniworx:-library-only --flag uniworx:dev $@
|
stack build --fast --profile --library-profiling --executable-profiling --flag uniworx:-library-only --flag uniworx:dev $@
|
||||||
echo "Done."
|
echo "Done."
|
||||||
|
|||||||
@ -257,7 +257,7 @@ ghc-options:
|
|||||||
- -j
|
- -j
|
||||||
- -freduction-depth=0
|
- -freduction-depth=0
|
||||||
- -prof
|
- -prof
|
||||||
- -fprof-auto
|
- -fprof-auto-call
|
||||||
when:
|
when:
|
||||||
- condition: flag(pedantic)
|
- condition: flag(pedantic)
|
||||||
ghc-options:
|
ghc-options:
|
||||||
|
|||||||
@ -7,8 +7,11 @@ flags:
|
|||||||
cffi: true
|
cffi: true
|
||||||
|
|
||||||
rebuild-ghc-options: true
|
rebuild-ghc-options: true
|
||||||
ghc-options:
|
#ghc-options:
|
||||||
"$everything": -fno-prof-auto
|
# "$everything": -fno-prof-auto
|
||||||
|
|
||||||
|
library-profiling: true
|
||||||
|
executable-profiling: true
|
||||||
|
|
||||||
nix:
|
nix:
|
||||||
packages: []
|
packages: []
|
||||||
|
|||||||
Reference in New Issue
Block a user