diff options
author | Joey Hess <joey@kitenet.net> | 2013-11-25 13:01:53 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-11-25 13:01:53 -0400 |
commit | 33f76f48d0698300460d15b92a339c10101dc8e6 (patch) | |
tree | db2c61448d58ee8defc25a7890ba7417b823aec1 /Makefile | |
parent | 1378f231d9a52c0dcb4b35a44fdc16a4b9020cb2 (diff) |
ensure that Android TH splice is expanded in native side of build
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -173,7 +173,7 @@ ANDROID_FLAGS?=-f-XMPP # Uses https://github.com/neurocyte/ghc-android android: Build/EvilSplicer echo "Running native build, to get TH splices.." - if [ ! -e dist/setup/setup ]; then $(CABAL) configure -f-Production -O0 $(ANDROID_FLAGS); fi + if [ ! -e dist/setup/setup ]; then $(CABAL) configure -f-Production -O0 $(ANDROID_FLAGS) -fAndroidSplice; fi mkdir -p tmp if ! $(CABAL) build --ghc-options=-ddump-splices 2> tmp/dump-splices; then tail tmp/dump-splices >&2; exit 1; fi echo "Setting up Android build tree.." |