File: Makefile

package info (click to toggle)
why 2.13-2
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 12,608 kB
  • ctags: 16,817
  • sloc: ml: 102,672; java: 7,173; ansic: 4,439; makefile: 1,409; sh: 585
file content (19 lines) | stat: -rw-r--r-- 361 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 

DIRS = tutorial sorting g4 linked-lists schorr-waite

all: 
	for d in $(DIRS); do \
		if make -C $$d coq; then \
			echo "Coq proofs OK in $$d" ; \
		else \
			echo "Coq proofs FAILED in $$d" ; \
			exit 1 ;\
		fi ; \
	done

bench:
	make -C tutorial allcoq
	for d in $(DIRS); do make -C $$d simplify; done

clean:
	for d in $(DIRS); do make -C $$d clean; done