Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ f3d244c1

History | View | Annotate | Download (1.73 KB)

1 1e48ef45 ploc
OCAMLBUILD=@OCAMLBUILD@ -classic-display -no-links 
2
3
prefix=@prefix@
4
exec_prefix=@exec_prefix@
5
bindir=@bindir@
6 0b352b14 xthirioux
datadir = ${prefix}/share
7 1e48ef45 ploc
includedir = ${prefix}/include
8
9
LUSI_LIBS=include/math.lusi include/conv.lusi
10 04a63d25 xthirioux
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
11 1e48ef45 ploc
LOCAL_BINDIR=bin
12
LOCAL_DOCDIR=doc/manual
13
14
lustrec:
15
	@echo Compiling binary lustrec
16 04a63d25 xthirioux
	@$(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
17 2e6dfb46 enoulard
	@mkdir -p $(LOCAL_BINDIR)
18
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
19 1e48ef45 ploc
20
doc:
21
	@echo Generating doc
22 2e6dfb46 enoulard
	@$(OCAMLBUILD) lustrec.docdir/index.html
23
	@rm -rf $(LOCAL_DOCDIR)
24
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)
25 1e48ef45 ploc
26
dot: doc
27 2e6dfb46 enoulard
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
28
	dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot
29
	mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR)
30 1e48ef45 ploc
31
clean:
32 2e6dfb46 enoulard
	$(OCAMLBUILD) -clean
33 1e48ef45 ploc
34
dist-clean: clean
35 04a63d25 xthirioux
	@rm -f Makefile myocamlbuild.ml config.log config.status configure include/*.lusic include/math.h include/conv.h include/mpfr_lustre.h
36 1e48ef45 ploc
37 2e6dfb46 enoulard
%.lusic: %.lusi
38 1e48ef45 ploc
	@echo Compiling $<
39
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -d include $< 
40
41 3cb2f745 ploc
clean-lusic:
42 82dad07e enoulard
	@rm -f $(LUSI_LIBS:%.lusi=%.lusic)
43 04a63d25 xthirioux
	@rm -f $(LUSI_MPFR_LIB:%.lusi=%.lusic)
44 3cb2f745 ploc
45 2e6dfb46 enoulard
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic)
46 1e48ef45 ploc
47 04a63d25 xthirioux
compile-mpfr-lusi: $(LUSI_MPFR_LIB)
48
	@echo Compiling $<
49
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -mpfr 1 -d include $<
50
51
install: clean-lusic compile-lusi compile-mpfr-lusi
52 1e48ef45 ploc
	mkdir -p ${bindir}
53
	install -m 0755 $(LOCAL_BINDIR)/* ${bindir}
54
	mkdir -p ${includedir}/lustrec
55
	cp include/* ${includedir}/lustrec
56 1d906976 enoulard
	mkdir -p ${datadir}
57 2e6dfb46 enoulard
	install -m 0655 share/FindLustre.cmake ${datadir}
58 1e48ef45 ploc
59
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean