Project

General

Profile

Revision ad4774b0 src/Makefile.in

View differences:

src/Makefile.in
10 10
LOCAL_BINDIR=../bin
11 11
LOCAL_DOCDIR=../doc/manual
12 12

  
13
all: lustrec lustret
13
all: lustrec lustret lustrev
14 14

  
15 15
lustrec:
16 16
	@echo Compiling binary lustrec
......
24 24
	@mkdir -p $(LOCAL_BINDIR)
25 25
	@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret
26 26

  
27
lustrev:
28
	@echo Compiling binary lustrev
29
	@$(OCAMLBUILD) main_lustre_verifier.native
30
	@mkdir -p $(LOCAL_BINDIR)
31
	@mv _build/main_lustre_verifier.native $(LOCAL_BINDIR)/lustrev
32

  
27 33
@lustresf_src@
28 34

  
29 35
doc:
......
47 53
install:
48 54
	make -C .. install
49 55

  
50
.PHONY: compile-lusi doc dot lustrec lustret lustrec.odocl clean install dist-clean tests
56
.PHONY: compile-lusi doc dot lustrec lustret lustrev lustrec.odocl clean install dist-clean tests

Also available in: Unified diff