Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / Makefile @ 0cbf0839

History | View | Annotate | Download (702 Bytes)

1 0cbf0839 ploc
# OASIS_START
2
# DO NOT EDIT (digest: bc1e05bfc8b39b664f29dae8dbd3ebbb)
3
4
SETUP = ocaml setup.ml
5
6
build: setup.data
7
	$(SETUP) -build $(BUILDFLAGS)
8
9
doc: setup.data build
10
	$(SETUP) -doc $(DOCFLAGS)
11
12
test: setup.data build
13
	$(SETUP) -test $(TESTFLAGS)
14
15
all: 
16
	$(SETUP) -all $(ALLFLAGS)
17
18
install: setup.data
19
	$(SETUP) -install $(INSTALLFLAGS)
20
21
uninstall: setup.data
22
	$(SETUP) -uninstall $(UNINSTALLFLAGS)
23
24
reinstall: setup.data
25
	$(SETUP) -reinstall $(REINSTALLFLAGS)
26
27
clean: 
28
	$(SETUP) -clean $(CLEANFLAGS)
29
30
distclean: 
31
	$(SETUP) -distclean $(DISTCLEANFLAGS)
32
33
setup.data:
34
	$(SETUP) -configure $(CONFIGUREFLAGS)
35
36
.PHONY: build doc test all install uninstall reinstall clean distclean configure
37
38
# OASIS_STOP