STALINGRAD/Makefile.in at master · Functional-AutoDiff/STALINGRAD · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
all: stalingrad

targets:
	@echo stalingrad


stalingrad:
	$(MAKE) -C source all

tool/test-driver-scm.com: tool/test-driver-scm.scm
	mit-scheme --compiler --heap 6000 --batch-mode --no-init-file --eval '(cf "tool/test-driver-scm")' < /dev/null

prepare-test: stalingrad tool/test-driver-scm.com
	./tool/test-setup
	./tool/test-driver '(record-expectations! (fast-expectations))'

test: prepare-test
	$(MAKE) -C test-runs/last all
	./tool/failure-summary

prepare-test-full: stalingrad tool/test-driver-scm.com
	./tool/test-setup full
	./tool/test-driver '(record-expectations! (all-expectations))'

test-full: prepare-test-full
	$(MAKE) -C test-runs/last all
	./tool/failure-summary

Makefile: Makefile.in
	./config.status

.PHONY: all targets stalingrad prepare-test test prepare-test-full test-full