S2JS=../../../src/sapl2js -f clean
TRAMPOLINE=--trampoline
CC=java -jar ../../../tools/closure-compiler.jar
SOURCES1=Adjoxo.sapl Cichelli.sapl Clausify.sapl CountDown.sapl Fib.sapl KnuthBendix.sapl Mate.sapl MSS.sapl PermSort.sapl Queens.sapl Queens2.sapl SumPuz.sapl Taut.sapl While.sapl
TARGETS1=$(SOURCES1:.sapl=.js)
SOURCES2=Braun.sapl OrdList.sapl
TARGETS2=$(SOURCES2:.sapl=.trampoline.js)

all: create $(TARGETS1) $(TARGETS2)

create:
	mkdir -p js

clean:
	rm -rf js
	rm -f tmp.js

Adjoxo.js: 
	$(S2JS) -o tmp.js Adjoxo.sapl
	$(CC) --js_output_file js/Adjoxo.js tmp.js 

Braun.js: 
	$(S2JS) -o tmp.js Braun.sapl
	$(CC) --js_output_file js/Braun.js tmp.js 
	-
Braun.trampoline.js: 
	$(S2JS) $(TRAMPOLINE) -o tmp.js Braun.sapl
	$(CC) --js_output_file js/Braun.trampoline.js tmp.js 
	
Cichelli.js: 
	$(S2JS) -o tmp.js Cichelli.sapl
	$(CC) --js_output_file js/Cichelli.js tmp.js 
	
Clausify.js: 
	$(S2JS) -o tmp.js Clausify.sapl
	$(CC) --js_output_file js/Clausify.js tmp.js
	
CountDown.js: 
	$(S2JS) -o tmp.js CountDown.sapl
	$(CC) --js_output_file js/CountDown.js tmp.js 
	
Fib.js: 
	$(S2JS) -o tmp.js Fib.sapl
	$(CC) --js_output_file js/Fib.js tmp.js 
	
KnuthBendix.js:
	$(S2JS) -o tmp.js KnuthBendix.sapl
	$(CC) --js_output_file js/KnuthBendix.js tmp.js 
	
Mate.js:
	$(S2JS) -o tmp.js Mate.sapl
	$(CC) --js_output_file js/Mate.js tmp.js 
	
MSS.js:
	$(S2JS) -o tmp.js MSS.sapl
	$(CC) --js_output_file js/MSS.js tmp.js 

OrdList.js:
	$(S2JS) -o tmp.js OrdList.sapl
	$(CC) --js_output_file js/OrdList.js tmp.js 
	
OrdList.trampoline.js:
	$(S2JS) $(TRAMPOLINE) -o tmp.js OrdList.sapl
	$(CC) --js_output_file js/OrdList.trampoline.js tmp.js 
	
PermSort.js:
	$(S2JS) -o tmp.js PermSort.sapl
	$(CC) --js_output_file js/PermSort.js tmp.js 
	
Queens.js:
	$(S2JS) -o tmp.js Queens.sapl
	$(CC) --js_output_file js/Queens.js tmp.js 
	
Queens2.js:
	$(S2JS) -o tmp.js Queens2.sapl
	$(CC) --js_output_file js/Queens2.js tmp.js 
	
SumPuz.js:
	$(S2JS) -o tmp.js SumPuz.sapl
	$(CC) --js_output_file js/SumPuz.js tmp.js 
	
Taut.js:
	$(S2JS) -o tmp.js Taut.sapl
	$(CC) --js_output_file js/Taut.js tmp.js 
	
While.js:
	$(S2JS) -o tmp.js While.sapl
	$(CC) --js_output_file js/While.js tmp.js