Project

General

Profile

Revision 40d33d55 Makefile.in

View differences:

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

  
14
all: $(LOCAL_BINDIR)/lustrec $(LOCAL_BINDIR)/lustret
15

  
14 16
$(LOCAL_BINDIR)/lustrec: configure Makefile
15 17
	@echo Compiling binary lustrec
16
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -lflag nums.cmxa -I src -I src/backends/C -I src/plugins/scopes src/main_lustre_compiler.native
18
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -lflag -I src -I src/backends/C -I src/plugins/scopes src/main_lustre_compiler.native
17 19
	@mkdir -p $(LOCAL_BINDIR)
18 20
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
19 21

  
22
$(LOCAL_BINDIR)/lustret: configure Makefile
23
	@echo Compiling binary lustret
24
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -lflag nums.cmxa -I src -I src/backends/C -I src/plugins/scopes src/main_lustre_testgen.native
25
	@mkdir -p $(LOCAL_BINDIR)
26
	@mv _build/src/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret
27

  
20 28
configure: configure.ac
21 29
	@echo configure.ac has changed relaunching autoconf
22 30
	@autoconf
......
74 82
	mkdir -p ${datadir}
75 83
	install -m 0655 share/FindLustre.cmake ${datadir}
76 84

  
77
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean
85
.PHONY: compile-lusi doc dot lustrec lustret lustrec.odocl clean install dist-clean
78 86

  

Also available in: Unified diff