Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile.in @ d97c196a

History | View | Annotate | Download (973 Bytes)

1
OCAMLBUILD=@OCAMLBUILD@ -classic-display -no-links 
2

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

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

    
11
LOCAL_BINDIR=bin
12
LOCAL_DOCDIR=doc/manual
13

    
14
lustrec:
15
	@echo Compiling binary lustrec
16
	@make -C src lustrec
17

    
18
doc:
19
	@echo Generating doc
20
	@make -C src doc
21

    
22
dot: doc
23
	@make -C src dot
24

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

    
29
dist-clean: clean
30

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

    
35
include/mpfr_lustre.lusic: OPTION_LUSIC=-mpfr 2 
36

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

    
39
install: compile-lusi
40
	mkdir -p ${bindir}
41
	install -m 0755 $(LOCAL_BINDIR)/* ${bindir}
42
	mkdir -p ${includedir}/lustrec
43
	cp include/* ${includedir}/lustrec
44

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