Project

General

Profile

Revision 40d33d55 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
14

  
13 15
lustrec:
14 16
	@echo Compiling binary lustrec
15 17
	@$(OCAMLBUILD) main_lustre_compiler.native
16 18
	@mkdir -p $(LOCAL_BINDIR)
17 19
	@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
18 20

  
21
lustret:
22
	@echo Compiling binary lustret
23
	@$(OCAMLBUILD) main_lustre_testgen.native
24
	@mkdir -p $(LOCAL_BINDIR)
25
	@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret
26

  
19 27
doc:
20 28
	@echo Generating doc
21 29
	@$(OCAMLBUILD) lustrec.docdir/index.html
......
37 45
install:
38 46
	make -C .. install
39 47

  
40
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean
48
.PHONY: compile-lusi doc dot lustrec lustret lustrec.odocl clean install dist-clean
41 49

  

Also available in: Unified diff