forked from chsticksel/kind2
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.in
73 lines (51 loc) · 1.59 KB
/
Makefile.in
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
# DO NOT CHANGE THIS FILE!
# If you want to change the Makefile, edit Makefile.in instead
# @configure_input@
LOCAL_BINDIR=$(CURDIR)/bin
LOCAL_DOCDIR=$(CURDIR)/ocamldoc
package=@PACKAGE_NAME@
version=@PACKAGE_VERSION@
tarname=@PACKAGE_TARNAME@
distdir=$(tarname)-$(version).`date +%Y.%m.%d`
prefix=@prefix@
exec_prefix=@exec_prefix@
bindir=@bindir@
install_files=@PACKAGE_NAME@
all: @PACKAGE_NAME@
.PHONY: ocamlczmq @PACKAGE_NAME@ @PACKAGE_NAME@-prof @PACKAGE_NAME@-top @PACKAGE_NAME@-doc
ocamlczmq:
cd ocamlczmq && ./build.sh
@PACKAGE_NAME@:
make -C src
mkdir -p $(LOCAL_BINDIR)
cp -f src/_build/@PACKAGE_NAME@.native $(LOCAL_BINDIR)/$@
@PACKAGE_NAME@-prof:
make -C src $@
mkdir -p $(LOCAL_BINDIR)
cp -f src/_build/@PACKAGE_NAME@.native $(LOCAL_BINDIR)/$@
@PACKAGE_NAME@-top:
make -C src $@
mkdir -p $(LOCAL_BINDIR)
cp -f src/_build/@PACKAGE_NAME@.top $(LOCAL_BINDIR)/$@
lustre-checker:
make -C src $@
mkdir -p $(LOCAL_BINDIR)
cp -f src/_build/lustreChecker.native $(LOCAL_BINDIR)/$@
@PACKAGE_NAME@-doc:
make -C src $@
mkdir -p $(LOCAL_DOCDIR)
cp -Rf src/_build/@PACKAGE_NAME@.docdir/* $(LOCAL_DOCDIR)
.PHONY: install clean-@PACKAGE_NAME@ clean-ocamlczmq clean
install:
mkdir -p ${bindir}
for i in $(addprefix $(LOCAL_BINDIR)/,$(install_files)); do install -m 0755 $$i ${bindir}; done
clean-@PACKAGE_NAME@:
make -C src clean
clean-ocamlczmq:
make -C ocamlczmq clean
clean: clean-@PACKAGE_NAME@ clean-ocamlczmq
# Remake this Makefile if configuration has changed
Makefile: Makefile.in ./config.status
./config.status
./config.status: ./configure
./config.status --recheck