Project

General

Profile

Revision 93119c3f src/Makefile.in

View differences:

src/Makefile.in
24 24
	@mkdir -p $(LOCAL_BINDIR)
25 25
	@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret
26 26

  
27
lustresf:
28
	@echo Compiling binary lustret
29
	@$(OCAMLBUILD) tools/stateflow/sf_sem.native
30
	@mkdir -p $(LOCAL_BINDIR)
31
	@mv _build/tools/stateflow/sf_sem.native $(LOCAL_BINDIR)/lustresf
32

  
27 33
doc:
28 34
	@echo Generating doc
29 35
	@$(OCAMLBUILD) lustrec.docdir/index.html

Also available in: Unified diff