Makefile-dist

# Main Makefile for Daikon

all:
	$(MAKE) -C scripts
ifdef DAIKONCLASS_SOURCES
	$(MAKE) -C java
endif
	$(MAKE) java/dcomp_rt.jar
ifeq (Linux i686,$(shell uname -sm))
	$(MAKE) kvasir
else
ifeq (Linux i586,$(shell uname -sm))
	$(MAKE) kvasir
else
ifeq (Linux i486,$(shell uname -sm))
	$(MAKE) kvasir
else
ifeq (Linux i386,$(shell uname -sm))
	$(MAKE) kvasir
else
ifeq (Linux x86_64,$(shell uname -sm))
	$(MAKE) kvasir
else
	@echo "Not building Kvasir: it's only for Linux x86 and x86-64"
	@echo "and this appears to be" `uname -sm`
endif
endif
endif
endif
endif

ifeq (cygwin,$(OSTYPE))
CP:=`cygpath -wp ../../../daikon.jar:.`
else
CP:=../../../daikon.jar:.
endif

installation-test:
	cd examples/java-examples/StackAr; \
	javac -g DataStructures/*.java; \
	java -cp $(CP) daikon.Chicory --daikon DataStructures.StackArTester

clean:
	$(MAKE) -C scripts clean
ifdef DAIKONCLASS_SOURCES
	$(MAKE) -C java clean
endif
	$(MAKE) -C fjalar/valgrind clean

java/dcomp_rt.jar:
	$(MAKE) -C java dcomp_rt.jar

kvasir:
	cd fjalar && ./auto-everything.sh

.PHONY: kvasir

plume-lib:
	rm -rf java/utilMDE java/lib/utilMDE.jar
	git clone https://github.com/mernst/plume-lib.git plume-lib

# the plume-lib in the distribution is an archive and can't be updated
.PHONY: plume-lib-update
plume-lib-update: plume-lib
	#(cd plume-lib && git pull)

# The file is real, but the commands should always be re-run even if it exists.
.PHONY: plume-lib/java/plume.jar
plume-lib/java/plume.jar: plume-lib-update
	$(MAKE) -C plume-lib/java plume.jar CLASSPATH=.:./daikon.jar