scala = JAVA_OPTS="$(jvmargs)" scala
wix = $(java) HaskellHelper
+args =
install: wix.jar
aklog research.cs.berkeley.edu || true
- $(scala) -cp wix.jar:lib/edu.berkeley.sbp.jar Main ~/docs/wix/src/ ~/docs/wix/dest/
-
+ $(scala) -cp wix.jar:lib/edu.berkeley.sbp.jar Main $(args) ~/docs/wix/src/ ~/docs/wix/dest/
# --delete disabled until I can keep it from clobbering GArrow.v
rsync -arL --rsync-path=/usr/sww/bin/rsync \
--progress --verbose \
~/docs/wix/dest/cs.berkeley.edu/ \
login.eecs.berkeley.edu:public_html/
+force:; make install args='-f'
+
docs:
$(wix) xt2/docs/ ~/docs/