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 (12 lines) | stat: -rw-r--r-- 364 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 

VO=partition_valid.vo quicksort_valid.vo

all: Partition.vo Quicksort.vo $(VO)

partition_why.v partition_valid.v quicksort_why.v quicksort_valid.v: partition.mlw quicksort.mlw $(WHY)
	$(WHY) $(WHYOPTIONS) partition.mlw quicksort.mlw

quicksort_why.sx: partition.mlw quicksort.mlw $(WHY)
	$(WHY) --simplify partition.mlw quicksort.mlw

include ../Makefile.common