2022-05-24 17:36:45 +03:00
|
|
|
# This GNU makefile exists primarily to simplify/speed up development
|
|
|
|
# from emacs. It is not part of the canonical build process.
|
2022-05-18 20:14:24 +03:00
|
|
|
default:
|
2022-05-25 11:51:07 +03:00
|
|
|
$(MAKE) -C ../.. wasm -e emcc_opt=-O0
|
2022-05-18 20:14:24 +03:00
|
|
|
|
|
|
|
clean:
|
2022-05-25 11:51:07 +03:00
|
|
|
$(MAKE) -C ../../ clean-wasm
|
2022-05-22 03:27:19 +03:00
|
|
|
|
2022-05-24 17:45:16 +03:00
|
|
|
# fiddle_remote is the remote destination for the fiddle app. It
|
2022-05-24 17:36:45 +03:00
|
|
|
# must be a [user@]HOST:/path for rsync.
|
|
|
|
# Note that the target "should probably" contain a symlink of
|
|
|
|
# index.html -> fiddle.html.
|
2022-05-24 17:45:16 +03:00
|
|
|
fiddle_remote ?=
|
|
|
|
ifeq (,$(fiddle_remote))
|
2022-05-24 17:36:45 +03:00
|
|
|
ifneq (,$(wildcard /home/stephan))
|
2022-06-26 00:41:26 +03:00
|
|
|
fiddle_remote = wh:www/wh/sqlite3/.
|
2022-05-24 17:36:45 +03:00
|
|
|
else ifneq (,$(wildcard /home/drh))
|
2022-05-24 17:45:16 +03:00
|
|
|
#fiddle_remote = if appropriate, add that user@host:/path here
|
2022-05-24 17:36:45 +03:00
|
|
|
endif
|
|
|
|
endif
|
|
|
|
|
2022-05-24 17:45:16 +03:00
|
|
|
$(fiddle_files): default
|
|
|
|
|
|
|
|
push-fiddle: $(fiddle_files)
|
|
|
|
@if [ x = "x$(fiddle_remote)" ]; then \
|
|
|
|
echo "fiddle_remote must be a [user@]HOST:/path for rsync"; \
|
2022-05-24 17:36:45 +03:00
|
|
|
exit 1; \
|
|
|
|
fi
|
2022-08-10 12:36:10 +03:00
|
|
|
rsync -va fiddle/ $(fiddle_remote)
|