FILES = xml/wowri.xml servlets/wowri servlets/web-util.ss servlets/ramblings MZC=mzc # MZC=/opt/src/racket-git/bin/mzc all: $(MZC) -vk web-root/htdocs/ramblings.ss $(MZC) -vk web-root/htdocs/dotp.ss experimental: $(MZC) -k servlets/last $(MZC) -k servlets/wowri $(MZC) -k servlets/prjweb .PHONY: start clean all refresh bootstrap refresh clean: find -name '*~' -exec rm -f '{}' ';' || echo find -name 'compiled' -exec rm -rf '{}' ';' || echo rm -rf restart start: @echo "ERROR: don't know how to start web server" restart: $(FILES) refresh echo 'this is a lock file' >restart refresh: wget -O /dev/null http://localhost:8181/conf/refresh-servlets # the log file is world writable, since the app runs as www-data. this # has to change: app needs its own user. bootstrap: chmod +x start runit/run runit/log/run cd servlets && sh bootstrap touch log && chmod a+w log