remove Fast flag, pass -O0 to cabal
This commit is contained in:
parent
be6d9f6f5c
commit
0bca392206
2 changed files with 1 additions and 5 deletions
2
Makefile
2
Makefile
|
@ -19,7 +19,7 @@ fast: dist/caballog
|
||||||
@ln -sf dist/build/git-annex/git-annex git-annex
|
@ln -sf dist/build/git-annex/git-annex git-annex
|
||||||
|
|
||||||
dist/caballog:
|
dist/caballog:
|
||||||
cabal configure -f"-Production Fast"
|
cabal configure -f"-Production" -O0
|
||||||
cabal build -v2 | tee $@
|
cabal build -v2 | tee $@
|
||||||
|
|
||||||
Build/SysConfig.hs: configure.hs Build/TestConfig.hs Build/Configure.hs
|
Build/SysConfig.hs: configure.hs Build/TestConfig.hs Build/Configure.hs
|
||||||
|
|
|
@ -55,10 +55,6 @@ Flag DNS
|
||||||
Flag Production
|
Flag Production
|
||||||
Description: Enable production build (slower build; faster binary)
|
Description: Enable production build (slower build; faster binary)
|
||||||
|
|
||||||
Flag Fast
|
|
||||||
Description: Faster build; slower binary
|
|
||||||
Default: False
|
|
||||||
|
|
||||||
Flag Android
|
Flag Android
|
||||||
Description: Building for Android
|
Description: Building for Android
|
||||||
Default: False
|
Default: False
|
||||||
|
|
Loading…
Add table
Reference in a new issue