Project

General

Profile

Revision 7ecfca04 Makefile.in

View differences:

Makefile.in
17 17
	@mkdir -p $(LOCAL_BINDIR)
18 18
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
19 19

  
20
$(LOCAL_BINDIR)/lustrem: configure Makefile
21
	@echo Compiling binary lustrem
22
	@$(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_mutator.native
23
	@mkdir -p $(LOCAL_BINDIR)
24
	@mv _build/src/main_lustre_mutator.native $(LOCAL_BINDIR)/lustrem
25

  
20 26
configure: configure.ac
21 27
	@echo configure.ac has changed relaunching autoconf
22 28
	@autoconf

Also available in: Unified diff