Project

General

Profile

Revision 53206908 Makefile.in

View differences:

Makefile.in
3 3
prefix=@prefix@
4 4
exec_prefix=@exec_prefix@
5 5
bindir=@bindir@
6
datadir = ${prefix}/share
6
datarootdir = ${prefix}/share
7 7
includedir = ${prefix}/include
8 8

  
9
LUSI_LIBS=include/math.lusi include/conv.lusi
9
LUSI_LIBS=include/math.lusi include/conv.lusi include/mpfr_lustre.lusi
10

  
10 11
LOCAL_BINDIR=bin
11 12
LOCAL_DOCDIR=doc/manual
12 13

  
13 14
lustrec:
14 15
	@echo Compiling binary lustrec
15
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -I src -I src/backends/C src/main_lustre_compiler.native
16
	@mkdir -p $(LOCAL_BINDIR)
17
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
16
	@make -C src lustrec
18 17

  
19 18
doc:
20 19
	@echo Generating doc
21
	@$(OCAMLBUILD) lustrec.docdir/index.html
22
	@rm -rf $(LOCAL_DOCDIR)
23
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)
20
	@make -C src doc
24 21

  
25 22
dot: doc
26
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
27
	dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot
28
	mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR)
23
	@make -C src dot
29 24

  
30 25
clean:
31
	$(OCAMLBUILD) -clean
26
	@make -C src clean
27
	@rm -f  $(LUSI_LIBS:%.lusi=%.lusic) $(LUSI_LIBS:%.lusi=%.h)
32 28

  
33 29
dist-clean: clean
34
	@rm -f Makefile myocamlbuild.ml config.log config.status configure include/*.lusic include/math.h include/conv.h
35 30

  
36
%.lusic: %.lusi
31
%.lusic: %.lusi 
37 32
	@echo Compiling $<
38
	@$(LOCAL_BINDIR)/lustrec -verbose 0 -d include $< 
33
	@$(LOCAL_BINDIR)/lustrec $(OPTION_LUSIC) -verbose 0 -d include $< 
39 34

  
40
clean-lusic:
41
	@rm -f $(LUSI_LIBS:%.lusi=%.lusic)
35
include/mpfr_lustre.lusic: OPTION_LUSIC=-mpfr 1
42 36

  
43
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic)
37
compile-lusi: lustrec $(LUSI_LIBS:%.lusi=%.lusic)
44 38

  
45
install: clean-lusic compile-lusi
39
install: compile-lusi
46 40
	mkdir -p ${bindir}
47 41
	install -m 0755 $(LOCAL_BINDIR)/* ${bindir}
48 42
	mkdir -p ${includedir}/lustrec
49 43
	cp include/* ${includedir}/lustrec
50
	mkdir -p ${datadir}
51
	install -m 0655 share/FindLustre.cmake ${datadir}
52 44

  
53 45
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean
54 46

  

Also available in: Unified diff